May
11th
Wed
Remote git tags
Delete a tag from a remote git repository:
$ git push origin :refs/tags/tag-name
Remove local tags that are no longer on the remote repository:
$ git tag -l | xargs git tag -d
$ git fetch --tags