gbtxg
Born on February 22, 2013•1 Karma
> We're sorry, the page you requested cannot be found.
git pull https://github.com/otheruser/repo.git branchname
so your example will become 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.