Remove the v from git tags

remove-v-from-git-tags.sh

# Fetch
git fetch

# Create tags without v from tags that start with v
for tag in $(git tag)
do
  if [[ $tag =~ ^v.*$ ]]
  then
    git tag "${tag/v/}" $tag
  fi
done

# Remove tags that start with v
for tag in $(git tag)
do
  if [[ $tag =~ ^v.*$ ]]
  then
    git tag -d $tag
  fi
done

# Push empty (delete) tags that start with v to remote
for tag in $(git tag)
do
  # TODO: only push empty (delete) tags we care to delete.
  # This currently takes forever.
  git push origin :refs/tags/v$tag
done

# Push new "v-less" tags to remote
git push --tags

Can use the following to check local vs remote tags:

for i in "^v.*$"; do git tag -l | grep "$i" ; git ls-remote --tags origin | awk '{print ":"$2}' | grep "^:refs/tags/v.*$" | grep -v '{}' ; done