git won't let me delete a branch?

[John Layt]

On Saturday 05 February 2011 19:58:55 Thomas Lübking wrote:
> Hi,
> i've "accidentally" pushed a "4.6" (NOT "KDE/4.6") branch to remote
> (sorry),
> 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://git@git.kde.org/kde-workspace
>     ! [remote rejected] 4.6 (hook declined)
> 
> So, how do i remove this (pretty confusingly named) branch?

At FOSDEM last weekend I heard from a number of distro packagers about how 
annoying the inconsistency is, and I've made the odd boo-boo locally myself 
when switching repos.  Can we please make the decision asap to remove the KDE 
part and just use 4.6 before too many things get set in stone?

John.