From 46d9605ef8b7755ac9bcd4a02ef6e6dd7be05ebb Mon Sep 17 00:00:00 2001 From: Shakker Date: Fri, 27 Feb 2026 20:55:44 +0000 Subject: [PATCH] merge-pr: use short squash merge banner --- scripts/pr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/pr b/scripts/pr index 215b72bcb..3411b1ef5 100755 --- a/scripts/pr +++ b/scripts/pr @@ -1086,7 +1086,7 @@ merge_run() { local reviewer_coauthor_email="${reviewer_id}+${reviewer}@users.noreply.github.com" cat > .local/merge-body.txt < /prepare-pr -> /merge-pr. +Merged via squash. Prepared head SHA: $PREP_HEAD_SHA Co-authored-by: $contrib <$contrib_coauthor_email>