git add and remove tag on remote branch

Remove tags from remote

#delete tag from local
$ git tag -d <tag_name>
#delete tag from remote
$ git push --delete origin tagname

Git add a tag

https://git-scm.com/book/en/v2/Git-Basics-Tagging

$ git tag -a v1.2 9fceb02 # -a flag is to add annotation in vim
$ git push v1.2