From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 02 Oct 2012 17:21:25 GMT
Subject: Re: push.default documented in "man git-push"?
Message-ID: <7v8vboaiy2.fsf@alter.siamese.dyndns.org>
In-Reply-To: <vpqwqz89617.fsf@grenoble-inp.fr>

Matthieu Moy <Matthieu.Moy@grenoble-inp.fr> writes:

> 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).

That's an Ack?