Support github pull requests on the bot#3143

La0 wants to merge 2 commits intomozilla:mastermozilla/code-review:masterfrom

La0:github-supportLa0/code-review:github-supportCopy head branch name to clipboard