From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 28 Oct 2007 15:40:27 GMT
Subject: Re: [PATCH 5/8] push, send-pack: support pushing HEAD to real ref name
Message-ID: <7vd4uzuu1g.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <722152C5-299C-435E-B720-D2D331D16249@zib.de>

Steffen Prohaska <prohaska@zib.de> writes:

> On Oct 28, 2007, at 8:28 AM, Junio C Hamano wrote:
>
>> Steffen Prohaska <prohaska@zib.de> writes:
>>
>>> This teaches "push <remote> HEAD" to resolve HEAD on the local
>>> side to its real ref name, e.g. refs/heads/master, and then
>>> use the real ref name on the remote side to search a matching
>>> remote ref.
>>
>> This probably is a good idea.
>
> I'll add an even shorter shorthand: "git push HEAD" will push
> the current branch to its default remote.

Ugh, that looks way too magicky.  The first parameter to push if
one ever exists has _always_ been the remote, and the above
breaks it.

Please don't.