a script to fix tags of jsk repos

update_tags.sh

#!/bin/bash

TAGS="cturtle diamondback fuerte electric"

for tag in $TAGS
do
    if [ `git tag -l $tag` ]; then
        hash=$(git log -1 --format="%H" --until="$(git show $tag --pretty=%ci -s | tail -n 1)")
        if [ "$hash" != "" ]; then
            echo "$tag -> $hash"
            git tag -f $tag $hash
        else
            echo "no valid commit for $tag"
        fi
    fi
done
git gc
git prune --expire now
du -h .git