chore(.mergify.yml): don't wait for travis when [ci skip] is present (#1789)
chore(.mergify.yml): don't wait for travis when [ci skip] is present (#1789)


leanprover-community/mathlib,leanprover-community/mathlib