More for my own reference than anything but if you ever need to delete a tag from a Git remote repository, this is for you:
For a tag called “v1.4” you’d just need to issue the following commands:
git tag -d v1.4 git push origin :refs/tags/v1.4
That will remove the ‘v1.4’ tag from the repository you’re working on.
To add a tag:
git tag v1.4 git push origin master --tags