On Sun, Feb 10, 2008 at 12:20:23PM +0000, Johannes Schindelin wrote: > > 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 - 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
