Re: push.default documented in "man git-push"?

> 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?