Undocument deprecated alias 'push.default=tracking'
authorMatthieu Moy <Matthieu.Moy@imag.fr>
Tue, 24 Apr 2012 07:50:01 +0000 (09:50 +0200)
committerJunio C Hamano <gitster@pobox.com>
Tue, 24 Apr 2012 19:11:58 +0000 (12:11 -0700)
commit628ab0ea1046800b9520c07d809db886b1ec3693
tree1afe9cc7d0fdda4011e26aa53102f87a39c9a3d5
parent185c0874b1adea696b47d2fb78aca9a282a86abb
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>
Documentation/config.txt