git tag -d # delete the old tag locally git push origin :refs/tags/ # delete the old tag remotely git tag -a # make a new tag locally git push origin Remote git pull --tags -f Pretty printing git log --pretty=oneline