Re: Minor annoyance with git push
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Feb 10, 2008, 13:04 UTC
- 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