push.default, was Re: What's cooking in git.git (Mar 2009, #04; Sat, 14)
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Mar 17, 2009, 10:28 UTC
- 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:
Show 7 quoted lines
> * 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