Removing a remote tag:
$ git push --delete <remote> <tag>
$ git push --delete origin v1.0
Removing multiple remote tags:
$ git push --delete <remote> <tag-1> <tag-2> <...>
$ git push --delete origin v1.0
Removing a remote tag:
$ git push --delete <remote> <tag>
$ git push --delete origin v1.0
Removing multiple remote tags:
$ git push --delete <remote> <tag-1> <tag-2> <...>
$ git push --delete origin v1.0