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 ]
There are no comments on this comment yet.