Re: push.default documented in "man git-push"?
From: Matthieu Moy <hidden>
Date: 2016-06-15 22:54:55
Junio C Hamano [off-list ref] writes:
I'll queue this instead. Thanks.
Even better, perfect! -- Matthieu Moy http://www-verimag.imag.fr/~moy/