git won't let me delete a branch?

[John Tapsell]

On 5 February 2011 20:03, Ben Cooksley <bcooksley at kde.org> wrote:
> On Sun, Feb 6, 2011 at 8:58 AM, Thomas Lübking
> <thomas.luebking at gmail.com> 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?
>
> Only repository admins are allowed to delete branches on git.kde.org.
> I have now deleted this branch.


The way that it works for the public Qt repository is that no one can
create or delete branches.  But anyone can clone the repository, and
then create/delete branches there as they want.

Shouldn't we have something similar?

John