chore(.github): include co-author attributions in PR template (#11239)
chore(.github): include co-author attributions in PR template (#11239)





leanprover-community/mathlib,leanprover-community/mathlib