Re: [PATCH] push: shorten "push.default is unset" warning message
- From
Matthieu Moy <matthieu.moy@grenoble-inp.fr>
- Date
- Feb 23, 2016, 21:03 UTC
- Message-ID
- <vpqegc3f8bd.fsf@anie.imag.fr>
- In-Reply-To
- <A8668075C5244F34A8C21A22F91ED823@PhilipOakley>
"Philip Oakley" <philipoakley@iee.org> writes:
> Shouldn't this also update the 'push' man page to state what the new > default is. @gerry's comment to the top answer > http://stackoverflow.com/a/13148313/717355 highlights that the word > 'simple' is not even mentioned in the 'push' man page.
This is more or less a different topic IMHO. If git-push(1) is not clear enough, then it should be clarified regardless of this patch. But a patch follows.
-- Matthieu Moy http://www-verimag.imag.fr/~moy/