GitHub is currently merging PRs in the UI with the wrong merge method | Heykuki News