Allow git push to delete remote ref.
authorJunio C Hamano <junkio@cox.net>
Fri, 24 Nov 2006 08:26:49 +0000 (00:26 -0800)
committerJunio C Hamano <junkio@cox.net>
Fri, 24 Nov 2006 11:59:05 +0000 (03:59 -0800)
commitd4f694ba89857a87e259557d0f236c761b4041ef
tree08453ccc3a39a74ad5e74ff4bf1cf13dd88b85c7
parent634b8d05142a4812bf35fe8b14cc62c84494c78f
Allow git push to delete remote ref.

This allows you to say

git send-pack $URL :refs/heads/$branch

to delete the named remote branch.  The refspec $src:$dst means
replace the destination ref with the object known as $src on the
local side, so this is a natural extension to make an empty $src
mean "No object" to delete the target.

Signed-off-by: Junio C Hamano <junkio@cox.net>
connect.c
receive-pack.c
send-pack.c
t/t5400-send-pack.sh