I rather like the new GitHub option for squashing commits when merging PRs. For PRs of a single commit, it's much tidier.