Local repo

git tag -d <tagname> # delete the old tag locally git push origin :refs/tags/<tagname> # delete the old tag remotely git tag <tagname> <commitId> # make a new tag locally git push --tags

Remote

git pull --tags -f

Pretty printing

git log --pretty=oneline