Merge branch 'jc/mention-tracking-for-pull-default' into maint

* jc/mention-tracking-for-pull-default: doc: mention tracking for pull.default
avar · Feb 25, 2013 · cd9c038 · cd9c038
2 parents 5cc5f09 + fa23348
commit cd9c038
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Documentation/config.txt b/Documentation/config.txt
@@ -1758,7 +1758,8 @@ push.default::
   +
   This is currently the default, but Git 2.0 will change the default
   to `simple`.
-* `upstream` - push the current branch to its upstream branch.
+* `upstream` - push the current branch to its upstream branch
+  (`tracking` is a deprecated synonym for this).
   With this, `git push` will update the same remote ref as the one which
   is merged by `git pull`, making `push` and `pull` symmetrical.
   See "branch.<name>.merge" for how to configure the upstream branch.