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

Matthieu Moy [off-list ref] writes:

Ramkumar Ramachandra [off-list ref] writes:

quoted

David Glasser wrote:

quoted

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?