News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.