Skip to content

Instantly share code, notes, and snippets.

@elithrar
Created March 28, 2016 20:47
Show Gist options
  • Save elithrar/bbc32e34cbdbc0a82995 to your computer and use it in GitHub Desktop.
Save elithrar/bbc32e34cbdbc0a82995 to your computer and use it in GitHub Desktop.
.git/config - Pull PRs into local branches (via @alaska)
Locate the section for your github remote in the `.git/config` file. It looks like this:
```
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
url = [email protected]:joyent/node.git
```
Now add the line `fetch = +refs/pull/*/head:refs/remotes/origin/pr/*` to this section. Obviously, change the github url to match your project's URL. It ends up looking like this:
```
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
url = [email protected]:joyent/node.git
fetch = +refs/pull/*/head:refs/remotes/origin/pr/*
```
Now fetch all the pull requests:
```
$ git fetch origin
From github.com:joyent/node
* [new ref] refs/pull/1000/head -> origin/pr/1000
* [new ref] refs/pull/1002/head -> origin/pr/1002
* [new ref] refs/pull/1004/head -> origin/pr/1004
* [new ref] refs/pull/1009/head -> origin/pr/1009
...
```
To check out a particular pull request:
```
$ git checkout pr/999
Branch pr/999 set up to track remote branch pr/999 from origin.
Switched to a new branch 'pr/999'
```
@elithrar
Copy link
Author

Alternatively:

- [remote "origin"]
+ [remote "origin-prs"]
    fetch = +refs/heads/*:refs/remotes/origin/*
    url = [email protected]:joyent/node.git
    fetch = +refs/pull/*/head:refs/remotes/origin/pr/*

This will make fetching PRs (which could be 50+ on a larger repo) more intentional.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment