On Sun, Feb 10, 2008 at 02:15:50AM +0000, Johannes Schindelin wrote:

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

-Peff
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html