3 ms·

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 d

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.

propelledjeans 14y ago
'doh! Thanks!
kyleslattery 14y ago
Also, if you delete the original branch that the PR refers to, the PR branch still has all of the commits.