Merge branch 'jh/symbolic-ref-d'
authorJunio C Hamano <gitster@pobox.com>
Thu, 15 Nov 2012 18:23:51 +0000 (10:23 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 15 Nov 2012 18:23:51 +0000 (10:23 -0800)
Add "symbolic-ref -d SYM" to delete a symbolic ref SYM.

It is already possible to remove a symbolic ref with "update-ref -d
--no-deref", but it may be a good addition for completeness.

* jh/symbolic-ref-d:
  git symbolic-ref --delete $symref


Trivial merge