From: Ramkumar Ramachandra <artagnon@gmail.com>
Date: Tue, 02 Oct 2012 16:56:40 GMT
Subject: Re: push.default documented in "man git-push"?
Message-ID: <CALkWK0nA3mCk1dFoR7XXn3DOn=KauvFCzT3-skWMpzcxujiXOw@mail.gmail.com>
In-Reply-To: <vpqwqz89617.fsf@grenoble-inp.fr>

Matthieu Moy wrote:
> Ramkumar Ramachandra <artagnon@gmail.com> 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).

+CC: Junio
Please add a Reported-by: David Glasser <glasser@davidglasser.net>

Ram