Many pull requests go through a cycle: programmer opens pull request,
maintainer gives feedback, programmer makes changes, repeat until ready to
merge, maintainer merges. Prior to the merge, the pull request can be messy,
full of reverts, fixups, and WIP commits. In the end, those commits are noise.
We can tell a better story by squashing the branch.