Undocument deprecated alias 'push.default=tracking'
It's been deprecated since 53c4031 (Johan Herland, Wed Feb 16 2011, push.default: Rename 'tracking' to 'upstream'), so it's OK to remove it from documentation (even though it's still supported) to make the explanations more readable. Signed-off-by: Matthieu Moy <Matthieu.Moy@imag.fr> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Matthieu Moy committed
Apr 24, 2012 at 09:50 UTC
628ab0ea1046800b9520c07d809db886b1ec3693
1 file changed
-1
Documentation/config.txt
-1
@@ -1690,7 +1690,6 @@ push.default::
1690
With this, `git push` will update the same remote ref as the one which
1691
is merged by `git pull`, making `push` and `pull` symmetrical.
1692
See "branch.<name>.merge" for how to configure the upstream branch.
1693
-* `tracking` - deprecated synonym for `upstream`.
1693
* `current` - push the current branch to a branch of the same name.
1694
+
1695
The `current` and `upstream` modes are for those who want to