How can we get GitHub to support fast-forward-only merges for PRs?github.com/orgs4 pointsspir3 years ago