I can remove a local tag very easy in the Git Repositories View of eclipse.
But if that tag was a remote tag (originally) and I make a push - nothing happens. On the next pull that tag will reappear again.
Neither Remote
-> Push tags
nor Remote
-> Push
-> Add all tag specs
removed that tag from origin. And I've tried Add delete ref specification
in the same dialog, but Eclipse won't let me add tag-name
or :refs/tags/tag-name
.
I know that I can use the command line, as described in "How to delete a git remote tag?", but I didn't find a way to do it from eGit.