GitHub is currently merging PRs in the UI with the wrong merge methodgithub.com
34 points by darknavi 2 days ago | 10 comments