If some day for any reason you want to remove a tag because maybe you make a mistake and you want to move your Git tag to another commit, then you are going to need:
- Delete the tag from local repository
- Remove the tag in the remote repository
For doing these operations, just execute next commands:
// Delete tag "1.3.0" from local git tag -d 1.3.0 // Delete tag in remote (synchronizing) git push origin :refs/tags/1.3.0
BTW, maybe you find this list of Git commands useful for your work: x
Be happy with your repo!