I hope this is very ironic (?)
edit removed unnecessary comment. What I mean is that you can already do this with git, nothing else required.
git remote add fork fork@github.com && git merge fork/pr-branch
edit removed unnecessary comment. What I mean is that you can already do this with git, nothing else required.
git remote add fork fork@github.com && git merge fork/pr-branch
git pull https://github.com/otheruser/repo.git branchname
git pull fork@github.com pr-branchOh, and I know I can pull directly from the appropriate URL, but I still have to browse to the pull request to get the URL for the associated branch. At that point I may as well just hit the merge button while I'm there.