This message was deleted.

cc @David Bradford

Hi Anton, we should only be showing merge strategies that are allowed on the repo. Can you DM me your coworkers github handle and a PR where you saw this and I will investigate?

hmm, let me check out settings, maybe someone re-enabled it