From: Steffen Prohaska <prohaska@zib.de>
Date: Sun, 11 Nov 2007 14:35:07 +0000 (+0100)
Subject: push: support pushing HEAD to real branch name
X-Git-Tag: v1.5.4-rc0~79^2~3
X-Git-Url: https://git.lorimer.id.au/gitweb.git/diff_plain/47d996a20c3347bb9efbb44e8ed2d615cfdffba3?hp=47d996a20c3347bb9efbb44e8ed2d615cfdffba3

push: support pushing HEAD to real branch name

This teaches "push <remote> HEAD" to resolve HEAD on the local
side to its real branch name, e.g. master, and then act as if
the real branch name was specified. So we have a shorthand for
pushing the current branch. Besides HEAD, no other symbolic ref
is resolved.

Thanks to Daniel Barkalow <barkalow@iabervon.org> for suggesting
this implementation, which is much simpler than the
implementation proposed before.

Signed-off-by: Steffen Prohaska <prohaska@zib.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
---