Deleting a Git tag involves two main steps: deleting it locally and then deleting it from the remote repository. Here’s how you do it:

1. Delete the tag locally

To remove a tag from your local repository, use the following command:

git tag -d <tagname>

Replace <tagname> with the actual name of the tag you want to delete (e.g., v4.0.0).

For example:

git tag -d v4.0.0

---

2. Delete the tag from the remote repository

Deleting a tag locally doesn’t remove it from the remote server (like GitHub). You need to explicitly push the deletion to the remote. There are two common ways to do this:

Option A: Push the deletion directly

This is the most common and straightforward way.

git push origin --delete <tagname>

Again, replace <tagname> with the tag you want to remove.

For example:

git push origin --delete v4.0.0

Option B: Push an empty string to the tag

This is an older but still valid way to achieve the same result.

git push origin :refs/tags/<tagname>

For example:

git push origin :refs/tags/v4.0.0

---

Important Notes:

• Be careful when deleting tags, especially if they are public and others might be relying on them. Deleting a tag means that specific point in history is no longer marked by that tag, which could affect other developers’ workflows or CI/CD pipelines.
• If you’ve already pushed a tag and then deleted it locally, you can still use the remote deletion commands.
• If you’re unsure of the exact tag name, you can list all local tags using git tag or all remote tags using git ls-remote --tags origin.