git tag - How to delete a git remote tag? - Stack Overflow
How do you delete a git tag that has already been pushed? ... You just need to push an 'empty' reference to the remote tag name: git push origin : ...
>> Read moreHow to: Delete a remote Git tag - Nathan Hoad
You probably won't need to do this often (if ever at all) but just in case, here is how to delete a tag from a remote Git repository.
>> Read more