GitHub is currently merging PRs in the UI with the wrong merge methodgithub.com/orgs34 pointsdarknavia year ago