How to delete a remote tag?
You can push an ’empty’ reference to the remote tag name: Or, more expressively, use the –delete option (or -d if your git version is older than 1.8.0): Note that git has tag namespace and branch namespace so you may use the same name for a branch and for a tag. If you want to … Read more