[x] I have added a description of my changes and why I'd like them included in the section below
Description of Changes
Most HTML code comments in PR texts are remains of PR templates that get embedded into the PR's commit message; that may pollute commit logs in the future, if users aren't careful enough and don't remove those manually. This PR proposes a very bespoke hacky method to remove them from the PR's text just before an attempt to merge.
Checklist
Description of Changes
Most HTML code comments in PR texts are remains of PR templates that get embedded into the PR's commit message; that may pollute commit logs in the future, if users aren't careful enough and don't remove those manually. This PR proposes a very bespoke hacky method to remove them from the PR's text just before an attempt to merge.
Related Issues
n/a