diff options
| -rw-r--r-- | .github/workflows/require-changelog-for-PRs.yml | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/.github/workflows/require-changelog-for-PRs.yml b/.github/workflows/require-changelog-for-PRs.yml index 263fee22..1443e883 100644 --- a/.github/workflows/require-changelog-for-PRs.yml +++ b/.github/workflows/require-changelog-for-PRs.yml @@ -29,5 +29,15 @@ jobs: ADDED=$(git diff -U0 "origin/${PR_BASE}" HEAD -- CHANGELOG.md | grep -P '^\+[^\+].+$') echo "Added lines in CHANGELOG.md:" echo "$ADDED" + + escape_regex_meta_chars() { + # https://stackoverflow.com/a/16951928/4473405 + sed 's/[][\.|$(){}?+*^]/\\&/g' <<< "$*" + } + + double_escape_slash_for_bash() { + sed 's/\\/\\\\/g' <<< "$*" + } + echo "Grepping for PR info:" - grep "#${PR_NUMBER}\\b.*@${PR_SUBMITTER}\\b" <<< "$ADDED" + grep "#${PR_NUMBER}\\b.*[(]@$(quote ${PR_SUBMITTER})[)]" <<< "$ADDED" |