Checkout github pull requests locally

Re:Checkout github pull requests locally by propelledjeans on Monday March 25, 2013 @11:08AM (#5437354)

I'm not quite sure I understand. Why would you checkout a PR over the pushed remote branch that the PR references?

e.g. I push feature/foo to origin and open a pull request base develop. Why would one not just pull down feature/foo?

[ Parent | on HN ]

Re:Checkout github pull requests locally by BMorearty on Monday March 25, 2013 @11:10AM (#5437368)

I had the same question, but then I realized where this tip is useful: for open-source projects where the PR came from someone else's fork. With this tip, you don't have to add the forked remote in order to pull it.

[ Parent | on HN ]

Re:Checkout github pull requests locally by kyleslattery on Monday March 25, 2013 @11:50AM (#5437641)

Also, if you delete the original branch that the PR refers to, the PR branch still has all of the commits.

[ Parent | on HN ]

Re:Checkout github pull requests locally by propelledjeans on Monday March 25, 2013 @11:12AM (#5437380)

'doh! Thanks!

[ Parent | on HN ]