"Philip Oakley" <philipoakley@xxxxxxx> 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/ -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html