git: 23de29bb5a84 - main - ghpr-push: Better auotmated closing message

The branch main has been updated by imp:

URL: https://cgit.FreeBSD.org/src/commit/?id=23de29bb5a84bda70e3efbed61f82fce7afe143f

commit 23de29bb5a84bda70e3efbed61f82fce7afe143f
Author:     Warner Losh <imp@FreeBSD.org>
AuthorDate: 2025-05-05 18:21:10 +0000
Commit:     Warner Losh <imp@FreeBSD.org>
CommitDate: 2025-05-05 18:23:56 +0000

    ghpr-push: Better auotmated closing message
    
    Make it clear this is an automated message and that the change isn't on
    the mirror yet, but will be soon. Also, be polite and thank the
    contributor for this submission, because the project really does
    appreciate it.
    
    Reviewed by:    emaste
    Sponsored by:   Netflix
---
 tools/tools/git/ghpr/ghpr-push.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/tools/git/ghpr/ghpr-push.sh b/tools/tools/git/ghpr/ghpr-push.sh
index 1b7f61c95a9a..1d11f31cc52a 100644
--- a/tools/tools/git/ghpr/ghpr-push.sh
+++ b/tools/tools/git/ghpr/ghpr-push.sh
@@ -42,7 +42,7 @@ git pull --rebase
 for pr in $(git config --get-all branch.${staging}.opabinia.prs); do
     if ! $do_pr_branch_push; then
 	gh pr edit $pr --add-label merged
-	gh pr close $pr --comment "ghpr helper script closed this after push to source of truth."
+	gh pr close $pr --comment "Automated message from ghpr: Thank you for your submission. This PR has been merged to FreeBSD's `main` branch. These changes will appear shortly on our GitHub mirror."
     fi
     git branch -D PR-${pr}
     git config --remove-section branch.${staging}.opabinia.${pr}