By default git push doesn't push tags. You must opt in:
git push origin v1.0.0 # one tag
git push origin --tags # all tags (lightweight + annotated)
git push origin --follow-tags # tags reachable from pushed commits
For release-driven CI/CD, --follow-tags is the goldilocks choice — it pushes related tags without spamming.
Delete a remote tag:
git push origin --delete v1.0.0
# or
git push origin :refs/tags/v1.0.0
If you delete and recreate a tag with the same name, collaborators don't auto-update — they keep the old one. That's why tags are conventionally immutable.