From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Sun, 10 Feb 2008 13:04:03 GMT
Subject: Re: Minor annoyance with git push
Message-ID: <alpine.LSU.1.00.0802101303140.11591@racer.site>
In-Reply-To: <20080210122321.GA31009@coredump.intra.peff.net>

Hi,

On Sun, 10 Feb 2008, Jeff King wrote:

> IOW, I am not necessarily proposing to change the default for 
> old-timers, but rather to allow differing behavior for "git push" 
> without remote depending on a config variable. So different behavior for 
> different people.

Hmm.  So that means that if an old-timer comes to help to a new-comer, 
the old-timer will be surprised?

You know I am a fan of consistency, so you know I cannot agree to your 
suggestion.

Ciao,
Dscho