Quick Tip - Deleting Remote tags
Just like branches, deleting the tags locally does not delete it from the remote. If you ever want to do that, here is how to do that:
git tag -d v1.2 git push origin :refs/tags/v1.2
First command is deleting the tag
v1.2 from our local repository and the second one is pushing the refs to the remote.