Hacker News new | ask | show | jobs
by gbtxg 4041 days ago
Well actually you can do it without even adding a remote.

   git pull https://github.com/otheruser/repo.git branchname
so your example will become

    git pull fork@github.com pr-branch
1 comments
rcthompson 4040 days ago
Yeah, I want to do it without adding a remote for every person who sends a pull request. I presume this is git with the "hub" wrapper provided by github?

Oh, 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.

link