Re: [PATCH] push: start warning upcoming default change for push.default
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jun 21, 2012, 17:21 UTC
- Message-ID
- <7vk3z0shri.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <vpq62aksicy.fsf@bauges.imag.fr>
Matthieu Moy <Matthieu.Moy@grenoble-inp.fr> writes:
Show 8 quoted lines
> Junio C Hamano <gitster@pobox.com> writes: > >> Re-read the part you omitted with [...]. Doesn't it say something >> about "only available"? > > It does, but it seems you're trying hard to avoid telling the user "you > should use 'current'", where 'current' is the only reasonable option for > this user. I still don't understand what problem you're trying to solve.
I am avoiding to say "you should use simple/current". Choice between matching and simple/current is for the user to make (mostly dictated by the project's workflow) and we cannot make a suggestion better than what user knows.
Choice between simple and current is mechanically derivable. If the user also uses older version of git, simple is not an option.