Re: [PATCH 5/8] push, send-pack: support pushing HEAD to real ref name

Steffen Prohaska [off-list ref] writes:

On Oct 28, 2007, at 8:28 AM, Junio C Hamano wrote:

quoted

Steffen Prohaska [off-list ref] writes:

quoted

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.