Re: [PATCH 01/10] push: change push to fail if short refname does not exist
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Oct 30, 2007, 08:29 UTC
- Message-ID
- <7vwst5m2eq.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <11935935812741-git-send-email-prohaska@zib.de>
Steffen Prohaska <prohaska@zib.de> writes:
> Pushing a short refname used to create a new ref on on the > remote side if it did not yet exist. If you specified the wrong > branch accidentally it was created. A safety valve that pushes > only existing branches may help to avoid errors.
On the other hand, if you specified a wrong branch that exists on the remote end accidentally, it still was pushed. Do we want to have a new "--i-really-want-to-push" option to make it safer?
I do not think so. Why should a new branch be treated any differently?
Will drop 1/10 and 2/10 for now.