GREP for PR reference accepts references that are split over a line (#…

…2072) Fixes #2070
psf · Mar 28, 2021 · dc8b0a4 · dc8b0a4
1 parent 4218ae1
commit dc8b0a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/changelog.yml b/.github/workflows/changelog.yml
@@ -16,6 +16,6 @@ jobs:
       - name: Grep CHANGES.md for PR number
         if: contains(github.event.pull_request.labels.*.name, 'skip news') != true
         run: |
-          grep -P "PR #${{ github.event.pull_request.number }}[^0-9]" CHANGES.md || \
+          grep -Pz "PR( |\n\s*)#${{ github.event.pull_request.number }}[^0-9]" CHANGES.md || \
           (echo "Please add 'PR #${{ github.event.pull_request.number }}' change line to CHANGES.md" && \
           exit 1)