Git tags renaming and replacing

gtags.txt

# Rename old to new 

git tag new old
git tag -d old
git push origin :refs/tags/old
git push --tags


# Apply tag to some HEAD

git tag -a v1.0.0 9a31150 -m "v1.0.0"
git push --tags origin master

where 9a31150 is HEAD of old commit that we want to tag