G github.com GitHub is currently merging PRs in the UI with the wrong merge method 34 points darknavi 1 year ago 10 comments
