Re: git push default behaviour?

Junio C Hamano [off-list ref] writes:

Matthieu Moy [off-list ref] writes:

quoted

quoted

Sounds OK from a cursory read, except for a few minor details.

Thanks.  Nitpicks follow.

I'm taking them all. Here's the result:

I'd hold onto this version for a few days before I paste it in my
blog or send it to k-list in order to give others a chance to
improve the text further, but this looks good (obviously) to me.

Thanks for getting the ball rolling.

So a few days passed, and I do not think we heard anything from anybody.
I am not sure if that means everybody is happy with the wording of the
draft, or simply nobody cares, but unless I hear from anybody further on
this topic, I'll start my part of distributing this to where I feel are
appropriate tonight [*1*].

People who want to see the default changed, please help the message to
reach corners where mine wouldn't reach.  For that matter, people who 
want to see that the default remains the same, please do the same.

Thanks.

[Footnote]

*1* The places I have in mind are:
 - This list (which may be pointless)
 - linux-kernel@vger.kernel.org
 - http://git-blame.blogspot.com/
 - http://gplus.to/gitster
 - http://gplus.to/git
 - Google internal (there are a few users at $DAYJOB)