From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 30 Oct 2007 08:29:01 GMT
Subject: Re: [PATCH 01/10] push: change push to fail if short refname does not exist
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.