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

PRs merging with the wrong merge method · community · Discussion #153620