Do git tags get pushed as well?

You could do this:

git push --tags

Leave a Comment