Add merge pull request method#750

ploddi wants to merge 3 commits into47degrees:main47degrees/github4s:mainfrom

ploddi:merge-pull-request-methodploddi/github4s:merge-pull-request-methodCopy head branch name to clipboard