commit | a22f5427001abb71d0aeeac33a0a82ab48a8de45 | [log] [tgz] |
---|---|---|
author | Junio C Hamano <junkio@cox.net> | Sun Nov 26 22:51:17 2006 -0800 |
committer | Junio C Hamano <junkio@cox.net> | Sun Nov 26 22:51:17 2006 -0800 |
tree | 178925767cf979316345258953a23eee1efffd6c | |
parent | 88ffc1f28a8b86969c7cbc54b0e3279d8cfe90a8 [diff] | |
parent | d4f694ba89857a87e259557d0f236c761b4041ef [diff] |
Merge branch 'jc/push-delete-ref' * jc/push-delete-ref: Allow git push to delete remote ref.