From: Jeff King Date: Sun, 10 Feb 2008 13:07:18 GMT Subject: Re: Minor annoyance with git push Message-ID: <20080210130718.GA1005@coredump.intra.peff.net> In-Reply-To: On Sun, Feb 10, 2008 at 01:04:03PM +0000, Johannes Schindelin 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? No, the old-timer will type what he means: "git push --matching origin" or "git push origin refspec". > You know I am a fan of consistency, so you know I cannot agree to your > suggestion. I suspected you would say that. I agree that consistency has value, but it can also get in the way when there really are two equally valid approaches, and both should be available. -Peff