Which repo is this?

Was encountered with UniversalLanguageSelector extension.

Weird, you've got all the permissions (and they haven't changed since I set that up months ago).

I had a similar problem with Push+Force on trying to delete something on Monday...I wonder if Force is broken :\

Will look at this for sure, and report upstream if it's indeed a bug.

(In reply to comment #3 by Chad)

Will look at this for sure, and report upstream if it's indeed a bug.

Chad: Did you have time?

Niklas: Is this still an issue?

Wondering if this is still "high" priority...

I've asked Amir to test this when he is doing the next MLEB release later in this month.

Still the same problem today. I tried to delete tag 2013.05-rc in UniversalLanguageSelector, and got this:

remote: Branch refs/tags/2013.05-rc:
remote: You need 'Push' rights with the 'Force Push'
remote: flag set to delete references.
remote: User: amire80
remote: Please read the documentation and contact an administrator
remote: if you feel the configuration is incorrect
remote: Processing changes: refs: 1, done
To ssh://amire80@gerrit.wikimedia.org:29418/mediawiki/extensions/UniversalLanguageSelector.git
! [remote rejected] 2013.05-rc (cannot delete references)
error: failed to push some refs to 'ssh://amire80@gerrit.wikimedia.org:29418/mediawiki/extensions/UniversalLanguageSelector.git'

Ugh, that would be this: https://code.google.com/p/gerrit/issues/detail?id=1902

Upstream bug is fixed and meanwhile included in our gerrit as well.

To make sure it works, I tried deleting tags on a repo where I have
Force Push permission, and it seems to work now.