Git

tags_rename.sh

# Create new from old
git tag new old

# Remove old tag
git tag -d old

# Sync changes from old tag to remote
git push origin :refs/tags/old

# Send new tag to remote
git push --tags