feat: check PR description begins with "This PR"#40

kim-em wants to merge 2 commits into

masterleanprover-community/mathlib-ci:masterfrom

feat-check-pr-description-begins-with-this-prleanprover-community/mathlib-ci:feat-check-pr-description-begins-with-this-prCopy head branch name to clipboard