Merge branch 'jc/push-delete-ref'
commita22f5427001abb71d0aeeac33a0a82ab48a8de45
authorJunio C Hamano <junkio@cox.net>
Mon, 27 Nov 2006 06:51:17 +0000 (26 22:51 -0800)
committerJunio C Hamano <junkio@cox.net>
Mon, 27 Nov 2006 06:51:17 +0000 (26 22:51 -0800)
tree178925767cf979316345258953a23eee1efffd6c
parent88ffc1f28a8b86969c7cbc54b0e3279d8cfe90a8
parentd4f694ba89857a87e259557d0f236c761b4041ef
Merge branch 'jc/push-delete-ref'

* jc/push-delete-ref:
  Allow git push to delete remote ref.