Re: [PATCH 2/7] Undocument deprecated alias 'push.default=tracking'
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jan 31, 2013, 20:42 UTC
- Message-ID
- <7vwqutf5jv.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <20130131201144.GJ27340@google.com>
Jonathan Nieder <jrnieder@gmail.com> 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".