$ 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
Â! [remote rejected] 1.2.1.Final -> 1.2.1.Final (non-fast forward)
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
Â! [remote rejected] 1.2.1.Final (cannot delete references)
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