Re: Minor annoyance with git push

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Feb 10, 2008, 02:15 UTC
Message-ID: <alpine.LSU.1.00.0802100213330.11591@racer.site>
In-Reply-To: <7v7ihd7ee1.fsf@gitster.siamese.dyndns.org>

Hi,

On Sat, 9 Feb 2008, Junio C Hamano wrote:

Show 21 quoted lines

> Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:
> 
> > The way would be like this, I think:
> >
> > - introduce a command line option for push, like "--push-common-refs", 
> > and issue a warning whenever "git push" is called without command line 
> > options (along the lines "This default behaviour is deprecated; please 
> > use --push-common-refs").
> >
> > - in a waaaay later version, just take away the default action of "git 
> > push", instead showing the usage.
> 
> I do not think that is a right approach.  To please both camps without 
> forcing people to
> 
>  (1) change what they are used to, and
>  (2) type overlong command line,
> 
> I think the traditional "matching refs by default", combined with "'git 
> push HEAD' defaults to pushing the current branch to the default 
> location" would be a well balanced compromise.

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.

Ciao, Dscho