Re: Minor annoyance with git push
- From
Jeff King <peff@peff.net>
- Date
- Feb 10, 2008, 12:23 UTC
- Message-ID
- <20080210122321.GA31009@coredump.intra.peff.net>
- In-Reply-To
- <alpine.LSU.1.00.0802101219280.11591@racer.site>
On Sun, Feb 10, 2008 at 12:20:23PM +0000, Johannes Schindelin wrote:
Show 12 quoted lines
> > I am still not convinced that an option to change the default behavior > > is unreasonable. Yes, it means that "git push" will do different things > > depending on your confi$g. But "git push" is a _shorthand_, and if you > > want to say things definitely, then say them: "git push --matching > > origin" or "git push HEAD" (assuming that a "--matching" option would > > exist to specify what is now the default behavior). > > Well, I am not completely opposed to changing the default behaviour, be > that showing the synopsis or pushing HEAD to origin. > > But _do_ give old-timers some time to adjust, _if_ you want to change the > default behaviour.
Sorry, I should have been more clear. By "default" I mean "what happens when you type "git push" not "the behavior with no config options set."
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.
-Peff