Subject: Re: [PATCH] push: shorten "push.default is unset" warning message

From: Matthieu Moy <[email-masked]>
Date: Tue, 23 Feb 2016 22:03:34 +0100

"Philip Oakley" <[email-masked]> 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/