mathlib3

fix(mergify): require travis "push" check to pass

#913

Merged