Explained an alternative way to fetch a branch.

This avoids adding each contributor as a remote.

Thanks Fruneau for the report.

1 files changed, 6 insertions, 0 deletions

diff --git a/docs/internals/contributing/committing-code.txt b/docs/internals/contributing/committing-code.txt
index 8f0ceea44d..a77a5762b5 100644
--- a/docs/internals/contributing/committing-code.txt
+++ b/docs/internals/contributing/committing-code.txt
@@ -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