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 - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
