From: Matthieu Moy Date: Tue, 02 Oct 2012 16:45:40 GMT Subject: Re: push.default documented in "man git-push"? Message-ID: In-Reply-To: Ramkumar Ramachandra writes: > David Glasser wrote: >> Thanks Rankumar! There's also the reference in the "git push origin" >> example and the "This is the default operation mode if no explicit >> refspec is found". > > Sorry; here's a revised patch. Sounds good, thanks (resend and Cc Junio if needed). -- Matthieu Moy http://www-verimag.imag.fr/~moy/