git won't let me delete a branch?

Thomas L├╝bking thomas.luebking at
Sat Feb 5 19:58:55 GMT 2011

i've "accidentally" pushed a "4.6" (NOT "KDE/4.6") branch to remote  
where it does oc. not belong...

However "git push origin :4.6" fails by:

remote: D refs/heads/4.6 kde-workspace luebking DENIED by fallthru
remote: error: hook declined to update refs/heads/4.6
To ssh://
    ! [remote rejected] 4.6 (hook declined)

So, how do i remove this (pretty confusingly named) branch?


More information about the kde-core-devel mailing list