Re: [PATCH 5/8] push, send-pack: support pushing HEAD to real ref name
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Oct 28, 2007, 15:40 UTC
- Message-ID
- <7vd4uzuu1g.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <722152C5-299C-435E-B720-D2D331D16249@zib.de>
Steffen Prohaska <prohaska@zib.de> writes:
Show 13 quoted lines
> 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.