Replace remote tag with Git

This should not be the practice, though you can delete the tag and push the change to the remote repo.

git tag -d tag1
git push origin :refs/tags/tag1