Dealing with a pull request from a deleted repo
Scenario: Somebody submits a pull request and then deletes their fork.
You can’t add their fork as a remote and pull their code that way. The simplest way to get the commit (if the PR consists of a single commit) is:
git checkout -b gh/pull/48 curl -L https://github.com/wincent/Command-T/pull/48.patch | git am
Note the use of
-L, which causes
curl to follow redirects.
I made a
git hub command (source here) that provides the following subcommands:
git hub get <pr> [fetch a PR to a local branch] git hub link [pr] [show web URL for PR] git hub merge [pr] [merge a PR] git hub ls [list open PRs] git hub show <pr> [show a PR on standard out]