From: Paolo Bonzini <paolo.bonzini@gmail.com>
Date: Tue, 28 Jul 2009 08:09:19 GMT
Subject: Re: What's cooking in git.git (Jul 2009, #02; Sun, 26)
Message-ID: <4A6EB22F.6090007@gmail.com>
In-Reply-To: <7v3a8h8cdc.fsf@alter.siamese.dyndns.org>

On 07/28/2009 10:01 AM, Junio C Hamano wrote:
> The last thing I want to do is to give end users
> a set of new command line options in 'master' (or even 'next'), only to
> revoke them before the next release.

Agreed.  However, some people expressed appreciation for the new 
git-push command-line option independent of the push.tracking work, of 
which I'd guess they might not even be aware.  If you agree, I would 
leave in pu the third patch ("add remote.*.pushHeadOnly") while merging 
the first two to next.

Paolo