diff options
author | Keith Hall <kingkeith+github@gmail.com> | 2024-01-03 16:34:18 +0200 |
---|---|---|
committer | Keith Hall <kingkeith+github@gmail.com> | 2024-01-03 16:34:18 +0200 |
commit | 15178bca3f60fdab8313fcc861ad3351853f842d (patch) | |
tree | 642032c2176bfa06742f3fbec0c3fbff4c09d8c7 | |
parent | 05ccdcd27b08907742c384fa3308379ff5cbeb48 (diff) |
fix changelog checker in CI to regex escape the submitter usernamedependabot/submodules/assets/syntaxes/02_Extra/SublimeJQ-b7e53e5
-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" |