Mention the PR author in mergebot PRs

Hopefully, this should help prevent mergebot PRs from being unnoticed by generating a GitHub notification to the author.

Test Plan: please advise; I don't know how to test this bot

ghstack-source-id: 02112a9
ghstack-comment-id: 2652256227
Pull Request resolved: #8390

Author: swolchok

.github/scripts/propose_ghstack_orig_pr.py

@@ -101,7 +101,7 @@ def create_prs_for_orig_branch(pr_stack: List[int], repo: Repository):
         # gh/user/x/orig is the clean diff between gh/user/x/base <- gh/user/x/head
         orig_branch_merge_head = pr.base.ref.replace("base", "orig")
         bot_metadata = f"""This PR was created by the merge bot to help merge the original PR into the main branch.
-ghstack PR number: https://github.com/pytorch/executorch/pull/{pr.number}
+ghstack PR number: https://github.com/pytorch/executorch/pull/{pr.number} by @{pr.user.login}
 ^ Please use this as the source of truth for the PR details, comments, and reviews
 ghstack PR base: https://github.com/pytorch/executorch/tree/{pr.base.ref}
 ghstack PR head: https://github.com/pytorch/executorch/tree/{pr.head.ref}