Memo: Removing/adding tags with Git

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