mathlib
de39b9a8 - chore(.mergify.yml): cleanup (#2248)

Commit
6 years ago
chore(.mergify.yml): cleanup (#2248) remove [skip-ci] and pr bits that no longer apply.
Parents
Loading