Generally, merging single-commit PRs is much nicer without merge commits. However, I miss the PR reference when looking at history.