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

> Junio C Hamano wrote:
>
>> That is why I tend to prefer how check-ref-format documentation
>> describes --print:
>>
>>         --normalize::
>>                 Normalize 'refname' by removing any leading slash (`/`)
>>                 characters and collapsing runs of adjacent slashes between
>>                 name components into a single slash.  Iff the normalized
>>                 refname is valid then print it to standard output and exit
>>                 with a status of 0.  (`--print` is a deprecated way to spell
>>                 `--normalize`.)
>
> That works because, as you mention, the usual way to look up an option
> in manpages is to search for "--print", including the two minus signs.
>
> Unfortunately an analagous approach in gitconfig(5) would be seriously
> broken, because searching for "tracking" (no minus signs) is going to
> hit many false positives.  I do not think such a change would be an
> improvement.