chore(.github): remove linebreaks from pull request template (#2378)
chore(.github): remove linebreaks from pull request template (#2378)

github treats a newline in the markdown text as a linebreak.


leanprover-community/mathlib,leanprover-community/mathlib