From 1f203f84d01508345997f921bc9feed8b4ff2fc5 Mon Sep 17 00:00:00 2001
From: Aymeric Augustin <aymeric.augustin@m4x.org>
Date: Fri, 8 Jun 2012 11:40:33 +0200
Subject: [PATCH] Explained an alternative way to fetch a branch.

This avoids adding each contributor as a remote.

Thanks Fruneau for the report.
---
 docs/internals/contributing/committing-code.txt | 6 ++++++
 1 file changed, 6 insertions(+)

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