Re: [PATCH 2/7] Undocument deprecated alias 'push.default=tracking'

[Junio C Hamano <gitster@pobox.com>]

Jonathan Nieder <jrnieder@gmail.com> writes:

> [...]
>> --- a/Documentation/config.txt
>> +++ b/Documentation/config.txt
>> @@ -1795,7 +1795,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).
>
> I have already explained that I believe this is a bad idea and why and
> proposed an alternative.  I take it that either we are
> miscommunicating or we fundamentally disagree about the role of
> documentation. :(

Whatever.

For tonight, I'll queue this version on 'pu' primarily because I do
not want to think about it anymore today and because I do not want
to see us forget that we have to fix this in some way, and this was
the only one that I can simply "git am" on this topic. It is not
because I want to say "this is the version we are going to use,
stfu!"  This topic does not even deserve such inter-developer
tension, IMHO.

    doc: mention tracking for pull.default
    
    When looking at a configuration file edited long time ago, a user
    may find 'pull.default = tracking' and wonder what it means, but
    earlier we stopped mentioning this value, even though the code still
    support it and more importantly, we have no intention to force old
    timers to update their configuration files.
    
    Instead of not mentioning it, add it to the description in a way
    that makes it clear that users have no reason to add new uses of it
    preferring over 'upstream', by not listing it as a separate item on
    the same footing as other values but as a deprecated synonym of the
    'upstream' in its description.
    
    Signed-off-by: Junio C Hamano <gitster@pobox.com>