Hi,

On Sun, 10 Feb 2008, Jeff King wrote:

quoted text
> 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

-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html