tvm-bot is currently not working and blocked on a couple issues (permissions changes in the repo that are causing hard-to-debug errors and tvm-bot merged PRs don’t run GitHub Actions jobs), but there is an easy way to vastly improve commit messages in the meantime.
When committers go to “Squash and Merge” a PR, they should not just click the two buttons, but instead:
- Click “Squash and Merge”
- (the important step) Go to the PR body, click “Edit”, copy-paste the markdown text (excluding any @s)
- Paste this into the squash and merge box as the commit message
- Click the button to actually merge the PR
This takes only a couple seconds but I suspect lots of people feel uneasy about editing this box, but I think it should become common practice, and even while we discuss finer points from this RFC doing this would right now do away with messages like this one.