Commented-out pull-request template ends up in commit messages for merges #10264
Description
Now that we have a PR template, submitting a pull request (either via the web form or via gh pr create) will commonly end up with a commented-out version of the pull request template in the message. This doesn't get rendered in the GitHub web UI, but when bors does a merge, it includes the entire PR template in the commit message for the merge. See dc6d847 for instance.