feat: Added PR template#1458

Alex-Zughaid wants to merge 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

Alex-Zughaid:github-pr-templateAlex-Zughaid/physlib:github-pr-templateCopy head branch name to clipboard