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. +