Hi, On Sun, 10 Feb 2008, Jeff King wrote: > On Sun, Feb 10, 2008 at 02:15:50AM +0000, Johannes Schindelin wrote: > > > I'm no longer that sure. It seems that quite a lot of people do not read > > manuals, and have no clue what they are doing when they just try > > > > $ git push > > > > to see what the synopsis is. > > > > If there are enough of those people out there, we might want to change > > our default action to "-h". > > > > Yes, that hurts old-timers. Yes, it's not a perfect world. No, I > > don't want to bend over for just a few people. > > 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. Ciao, Dscho - 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