push: support pushing HEAD to real branch name
authorSteffen Prohaska <prohaska@zib.de>
Sun, 11 Nov 2007 14:35:07 +0000 (15:35 +0100)
committerJunio C Hamano <gitster@pobox.com>
Mon, 19 Nov 2007 02:39:00 +0000 (18:39 -0800)
commit47d996a...0c3347bb9efbb44e8ed2d615cfdffba3
treed47b15f...9935ad44d5c185f9ad25492a2c0fb8edcopy hash to clipboard (tree)
parentea55960...18bb104020c02aa2f64b33f93d1775e7copy hash to clipboard (diff)
builtin-push.c
t/t5516-fetch-push.sh