Re: Minor annoyance with git push
- From
Jeff King <peff@peff.net>
- Date
- Feb 10, 2008, 13:07 UTC
- Message-ID
- <20080210130718.GA1005@coredump.intra.peff.net>
- In-Reply-To
- <alpine.LSU.1.00.0802101303140.11591@racer.site>
On Sun, Feb 10, 2008 at 01:04:03PM +0000, Johannes Schindelin wrote:
Show 7 quoted lines
> > 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