feat: Turn on and modify PR message#1117

jstoobysmith wants to merge 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

jstoobysmith:PRMessage2jstoobysmith/JTSphyslib:PRMessage2Copy head branch name to clipboard