`git pr` to fetch GitHub pull requests locally

[rstacruz]

I think it'd be nice to integrate https://gist.github.com/gnarf/5406589 into git-extras.

git pr NUMBER [REMOTE] - pulls PR
git pr-clean - deletes PR branches

$ git pr 22
#=> git fetch -fu origin refs/pull/22/head pr/22 && git checkout pr/22

$ git pr 22 upstream
#=> git fetch -fu upstream refs/pull/22/head pr/22 && git checkout pr/22

[hemanth]

P.R welcomed ;)

[rnc]

I quite like https://developer.jboss.org/blogs/stuartdouglas/2011/09/06/merging-github-pull-requests

[sanusart]

Theres this: https://github.com/visionmedia/git-extras/blob/master/bin/git-pull-request (undocumented:question:).
Maybe this and @rstacruz suggestion should be combined.

[rstacruz]

git-pull-request creates a pull request, while the git pr suggestion above checks out a pull request.

[sanusart]

Yes. I understand that. I suggest to combine them both into one as both deal with PRs and potential confusion will be prevented as otherwise we'll have git-pr and git-pull-request.

[chernjie]

Hub also has a git-pull-request to "create" pull request. Not sure if adding another one is necessary.

I like that git pr NUMBER is lightweight in the sense that it only downloads one pull request instead of all. If your repository do not have that many pull requests, you could consider using:

git config remote.origin.fetch "fetch = +refs/pull/*/head:refs/remotes/origin/pr/*"
git config remote.upstream.fetch "fetch = +refs/pull/*/head:refs/remotes/upstream/pr/*"

[rstacruz]

git pr above will only do git fetch origin refs/pulls/22/head, so it only pulls one at a time. the git config there will pull refs/pull/*/head, pulling all PRs :-)