Useless with branch protection

[jethrogb]

Because of a bug in GitHub this app is useless with branch protection enabled.

[jethrogb]

The GitHub UI is not at all clear about this, but I suppose this is the recommended branch protection configuration for use with bors:

---

Note that the requirement “Require status checks to pass before merging” doesn't appear to have anything to do with merging, it applies to all forms of modifying the branch.

[notriddle]

Yeah, that's the recommendes setup.