[cross-project-issues-dev] how to delete a git tag at eclipse.org?

[Bob Brodt <bbrodt@xxxxxxxxxx>]

Hi all,

I need to "move" a tag to include the most commit, so I first tried this:

$ git tag -fa 1.2.1.Final

Updated tag '1.2.1.Final' (was 76d5b92)

which, I guess seemed to work in my local repo. Then I tried:

$ git push --tags

Counting objects: 1, done.

Writing objects: 100% (1/1), 171 bytes, done.

Total 1 (delta 0), reused 0 (delta 0)

remote: Processing changes: done

To ssh://rbrodt@xxxxxxxxxxxxxxx:29418/bpmn2-modeler/org.eclipse.bpmn2-modeler.git

 ! [remote rejected] 1.2.1.Final -> 1.2.1.Final (non-fast forward)

error: failed to push some refs to 'ssh://rbrodt@xxxxxxxxxxxxxxx:29418/bpmn2-modeler/org.eclipse.bpmn2-modeler.git'

OK, that didn't work so I tried to delete the tag and push the changes:

$ git push --delete origin 1.2.1.Final

remote: Branch refs/tags/1.2.1.Final:

remote: You need 'Push' rights with the 'Force Push'

remote: flag set to delete references.

remote: User: rbrodt

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://rbrodt@xxxxxxxxxxxxxxx:29418/bpmn2-modeler/org.eclipse.bpmn2-modeler.git

 ! [remote rejected] 1.2.1.Final (cannot delete references)

error: failed to push some refs to 'ssh://rbrodt@xxxxxxxxxxxxxxx:29418/bpmn2-modeler/org.eclipse.bpmn2-modeler.git'

Anybody have any idea what's going on? I'm the project lead on this thing, so why do I need separate "Push rights" for deleting tags??

--

________________________
Robert ("Bob") Brodt
Senior Software Engineer
JBoss by Red Hat