Remove bad tag from repository


git tag -d bad-tag
git push origin :bad-tag

git tag -a good-tag -m "Add good-tag"
git push --tags