From 8813b19b009351bc70110cd6c3fece6c12d41393 Mon Sep 17 00:00:00 2001 From: Tony Mountifield Date: Sat, 14 Mar 2026 14:26:24 +0000 Subject: [PATCH] Update changelog-helper tool to report SKIPped PRs --- tools/changelog-helper.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/changelog-helper.sh b/tools/changelog-helper.sh index 80eb415729..50a199f338 100755 --- a/tools/changelog-helper.sh +++ b/tools/changelog-helper.sh @@ -200,10 +200,11 @@ check_or_add_pr() { title_suggestion_in_pr=$(gh pr view "$id" --json body,comments,reviews --jq '(.body), (.comments[] .body), (.reviews[] .body)' | grep -oP '^\bCHANGELOG:\s*\K([^\\]{5,})' | tail -n1 | sanitize_title || true) if [[ "${title_suggestion_in_pr}" ]]; then - title="${title_suggestion_in_pr}" if [[ "${title_suggestion_in_pr}" == "SKIP" ]]; then + echo "-> Skipping PR #${id} ($title, @${author})" return fi + title="${title_suggestion_in_pr}" fi echo -n "-> Missing PR #${id} (${title}, @${author})" if [[ "${ACTION}" != add-missing-entries ]]; then