How to remove a Tag in a remote repository?

Question

git

I created a tag and pushed it, and then it turned out that this tag needs to be placed on another commit in the local repository, it will be deleted, but not in the remote one.

Answer 1

# delete local tag '12345'
git tag -d 12345
# delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345