diff --git a/scripts/fix-close-obsolete-pr.sh b/scripts/fix-close-obsolete-pr.sh index 2a8ef006..554c979d 100755 --- a/scripts/fix-close-obsolete-pr.sh +++ b/scripts/fix-close-obsolete-pr.sh @@ -16,7 +16,7 @@ REPO_NWO=$(echo "$URL" | awk -F'/' '{print $4"/"$5}') DIFF=$(gh pr diff "$URL" 2>/dev/null) PR_USES=$(echo "$DIFF" | grep -E "^\+[[:space:]]+uses:[[:space:]]+[^@[:space:]]+@[0-9a-f]{40}" || true) if [ -z "$PR_USES" ]; then - echo "SKIP: PR has no `+ uses: …@` lines" + echo "SKIP: PR has no \`+ uses: …@\` lines" exit 0 fi