Re: Minor annoyance with git push

> 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).