Merge branch 'jc/push-delete-ref'
authorJunio C Hamano <junkio@cox.net>
Mon, 27 Nov 2006 06:51:17 +0000 (22:51 -0800)
committerJunio C Hamano <junkio@cox.net>
Mon, 27 Nov 2006 06:51:17 +0000 (22:51 -0800)
* jc/push-delete-ref:
Allow git push to delete remote ref.

Trivial merge