Clarify the double-print in the success case

sharkdp · Nov 3, 2023 · 5fd61f8 · 5fd61f8
1 parent 2dcd836
commit 5fd61f8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/require-changelog-for-PRs.yml b/.github/workflows/require-changelog-for-PRs.yml
@@ -20,4 +20,5 @@ jobs:
           ADDED=$(git diff -U0 "origin/${PR_BASE}" HEAD -- CHANGELOG.md | grep -P '^\+[^\+].+$')
           echo "Added lines in CHANGELOG.md:"
           echo "$ADDED"
+          echo "Grepping for PR info:"
           grep "#${PR_NUMBER}\\b.*@${PR_SUBMITTER}\\b" <<< "$ADDED"