GREP for PR reference accepts references that are split over a line (#2072)
Fixes #2070
This commit is contained in:
parent
4218ae18c0
commit
dc8b0a4383
2
.github/workflows/changelog.yml
vendored
2
.github/workflows/changelog.yml
vendored
@ -16,6 +16,6 @@ jobs:
|
|||||||
- name: Grep CHANGES.md for PR number
|
- name: Grep CHANGES.md for PR number
|
||||||
if: contains(github.event.pull_request.labels.*.name, 'skip news') != true
|
if: contains(github.event.pull_request.labels.*.name, 'skip news') != true
|
||||||
run: |
|
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" && \
|
(echo "Please add 'PR #${{ github.event.pull_request.number }}' change line to CHANGES.md" && \
|
||||||
exit 1)
|
exit 1)
|
||||||
|
Loading…
Reference in New Issue
Block a user