Re: Minor annoyance with git push

From: Jeff King <peff@peff.net>
Date: Feb 10, 2008, 10:17 UTC
Message-ID: <20080210101756.GB26568@coredump.intra.peff.net>
In-Reply-To: <alpine.LSU.1.00.0802100213330.11591@racer.site>

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

Show 12 quoted lines

> 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