http-push: push <remote> :<branch> deletes remote branch
authorClemens Buchacher <drizzd@aon.at>
Wed, 27 Feb 2008 19:27:53 +0000 (20:27 +0100)
committerJunio C Hamano <gitster@pobox.com>
Wed, 27 Feb 2008 23:38:24 +0000 (15:38 -0800)
commit6eaf40608dfe0c23aa990a8c7d4a135df1af3cab
tree481f9e8ca39880aa1e743c28bd2ba1802d291794
parent2db511fdbdbe1c8aab80f4bc13f0df037bce8a33
http-push: push <remote> :<branch> deletes remote branch

This mirrors current ssh/git push syntax.

Signed-off-by: Clemens Buchacher <drizzd@aon.at>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
http-push.c