From 62d09a25057f6674a497f321ab8b528917dd3e48 Mon Sep 17 00:00:00 2001
From: Maciej Urbanski <maciej.rooter.urbanski@reef.pl>
Date: Thu, 23 Nov 2023 22:40:41 +0100
Subject: [PATCH] add skip-changelog label support

---
 .github/workflows/ci.yml                      | 1 +
 changelog.d/+skip_changelog.infrastructure.md | 2 ++
 2 files changed, 3 insertions(+)
 create mode 100644 changelog.d/+skip_changelog.infrastructure.md

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 1781ab77a..64d7b7883 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -28,6 +28,7 @@ jobs:
       - name: Run linters
         run: nox -vs lint
       - name: Validate new changelog entries
+        if: contains(github.event.pull_request.labels.*.name, '-changelog') == false
         run: if [ -z "$(git diff --diff-filter=A --name-only origin/${{ github.event.pull_request.base.ref }} changelog.d)" ];
           then echo no changelog item added; exit 1; fi
 
diff --git a/changelog.d/+skip_changelog.infrastructure.md b/changelog.d/+skip_changelog.infrastructure.md
new file mode 100644
index 000000000..4ec956e9b
--- /dev/null
+++ b/changelog.d/+skip_changelog.infrastructure.md
@@ -0,0 +1,2 @@
+Allow skipping changelog for PRs marked with `-changelog` label.
+