From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 17 Mar 2009 10:28:31 GMT
Subject: push.default, was Re: What's cooking in git.git (Mar 2009, #04; Sat, 14)
Message-ID: <alpine.DEB.1.00.0903171125420.6393@intel-tinevez-2-302>
In-Reply-To: <7vr60z8fkl.fsf@gitster.siamese.dyndns.org>

Hi,

On Sat, 14 Mar 2009, Junio C Hamano wrote:

> * fg/push-default (Wed Mar 11 23:01:45 2009 +0100) 1 commit
>  - New config push.default to decide default behavior for push
> 
> Replaced the old series with the first step to allow a smooth 
> transition. Some might argue that this should not give any warning but 
> just give users this new configuration to play with first, and after we 
> know we are going to switch default some day, start the warning.

IIRC Steffen posted a patch series earlier, where he initialized 
remote.origin.push upon clone (I am not sure if he provided a 
corresponding patch for checkout --track), but personally, I think that 
would be nicer than having a push.default.

Ciao,
Dscho