From: Matthieu Moy <matthieu.moy@grenoble-inp.fr>
Date: Tue, 23 Feb 2016 21:03:34 GMT
Subject: Re: [PATCH] push: shorten "push.default is unset" warning message
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/