from Hacker News

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

by darknavi on 3/11/25, 4:41 AM with 10 comments

  • by darknavi on 3/11/25, 4:41 AM

    I thought I was going crazy before finding this bug. Hit this a few times this evening, very annoying.
  • by c8g on 3/11/25, 9:31 AM

    Is this code written by GitHub employees? No wonder why so many down time with GitHub. Countless inconsistencies in this small piece of code
  • by crtasm on 3/11/25, 5:38 AM

    This doesn't affect me but I am curious if it's possible to download the PR and use local tools for the desired merge?
  • by juped on 3/11/25, 6:20 AM

    I tried to shoot myself in the foot but Github broke the gun and it hit a firing range target instead, how did this reach production?