Re: Minor annoyance with git push
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Feb 10, 2008, 02:07 UTC
- Message-ID
- <7v7ihd7ee1.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <alpine.LSU.1.00.0802091307160.11591@racer.site>
Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:
Show 9 quoted lines
> 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.