How can we get GitHub to support fast-forward-only merges for PRs? | Hacker News Reader