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

Jonathan Nieder [off-list ref] writes:

Am I really the only one that doesn't see the "--print" change as
hiding an option and sees burying "tracking" in the text as
qualitatively different?

Sorry, but I do not understand the question.

We are hiding/burying the "--print" option to make it clear that it
is not a member with the same footing as others belonging to the
group of options to the command.  It is accepted, but there is no
reason for the user to choose it over --normalize.

We want to make sure that "tracking" does not appear as if it is a
member of the pull.default set with equal rights as others.  It is
accepted, but there is no reason for the user to choose it over
"upstream".