add skip-changelog label support

reef-technologies · Nov 23, 2023 · 62d09a2 · 62d09a2
1 parent 7459fe6
commit 62d09a2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git 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
@@ -0,0 +1,2 @@
+Allow skipping changelog for PRs marked with `-changelog` label.
+
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		Allow skipping changelog for PRs marked with `-changelog` label.