Question: git tags are not pushed?
Answer: 1 Answer. Considering a git push can also push tags, you could use the git push --dry-run to preview a push and see if tags are pushed or not. That would list the local tags which are not present on the remote. If the output is empty, all tags are already pushed.