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)
This mirrors current ssh/git push syntax.

Signed-off-by: Clemens Buchacher <drizzd@aon.at>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
No differences found