mathlib
c2d79f85 - fix(mergify): require travis "push" check to push (#913)

Commit
6 years ago
fix(mergify): require travis "push" check to push (#913) This hopefully fixes an error where mergify does not merge a PR is the "pr" build succeeds before the "push" build. In these situations mergify does not merge, because the branch protection settings require both builds to pass. Unfortunately, there doesn't seem to be an option to change the branch protection settings to only require the "pr" build to pass
Author
Committer
Parents
Loading