can you add tags to pushed files in git code example Example: git add tag git tag -a v1.2 git push origin v1.2