Git

By Samuel Molinski, 17 April, 2024

Recently, I began exploring using Github releases. I quickly wanted to update a release tag attached to a particular commit. There isn't a tag-move command, so we must remove it and add it back. Additionally, pushing those changes to the different repos.

To remove the tag from the local repo

git tag --delete <tagname>

Example:

git tag --delete v2.2

To remove the tag from the remote repo

git push --delete origin <tagname>

Example:

git push --delete origin v2.2