mathlib3

fix(.mergify.yml): remove " (leanprover-community/lean:3.5.1)" [skip ci]

#2077

Merged