Fix push_to_pull_request_branch generating bad patch on follow-up issue_comment runs#17206

Copilot wants to merge 14 commits intomaingithub/gh-aw:mainfrom

copilot/recreate-pr-16927-cleanlygithub/gh-aw:copilot/recreate-pr-16927-cleanlyCopy head branch name to clipboard