There's a way around this: Under "branch protection rules" in the settings for the repo, you can require certain "status checks" to be green before merging. Thi

There's a way around this: Under "branch protection rules" in the settings for the repo, you can require certain "status checks" to be green before merging. This has as an added benefit that it works for allowing "auto-merge" (at the settings page of the repo). (I work at Microsoft, but not at Github)