summaryrefslogtreecommitdiff
path: root/docs/internals/contributing/committing-code.txt
diff options
context:
space:
mode:
Diffstat (limited to 'docs/internals/contributing/committing-code.txt')
-rw-r--r--docs/internals/contributing/committing-code.txt6
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