Explained an alternative way to fetch a branch.

This avoids adding each contributor as a remote.

Thanks Fruneau for the report.
This commit is contained in:
Aymeric Augustin 2012-06-08 11:40:33 +02:00
parent 329bb9296f
commit 1f203f84d0
1 changed files with 6 additions and 0 deletions

View File

@ -76,6 +76,12 @@ checkout the branch and work from there::
git remote add <contributor> https://github.com/<contributor>/django.git
git checkout pull_xxxxx <contributor> <contributor's pull request branch>
Yet another alternative is to fetch the branch without adding the
contributor's repository as a remote::
git fetch https://github.com/<contributor>/django.git
git checkout -b pull_xxxxx FETCH_HEAD
At this point, you can work on the code and continue as above.
GitHub provides a one-click merge functionality for pull requests. This should