Script to fix mixed tags in 0.0.0 and v0.0.0 formats that cause issues with GitHub updater

fitgittags

# Script to fix mixed tags in 0.0.0 and v0.0.0 formats that cause issues with GitHub updater
# modified from https://stackoverflow.com/a/25939259/947370

# Loop over tags
git tag -l | while read -r tag
do

    # skip if it's already in v0.0.0 format
    if [[ $tag == v* ]] ;
    then
        continue;
    fi

    echo $tag

    # get the hash of the commit already tagged
    COMMIT_HASH=$(git rev-list -1 $tag)

    # special sauce: add "v" to the existing tag. make the tag date match the commit date.
    GIT_COMMITTER_DATE="$(git show $COMMIT_HASH --format=%aD | head -1)" git tag -a -f v$tag -m"v$tag" $COMMIT_HASH

    # delete the old tag locally
    git tag -d $tag

    # delete the old tag remotely
    git push --delete origin $tag

done

# Force push tags and overwrite ones on the server with the same name
git push --tags --force