How to Delete Remote Tag in Git: Simple Commands

To delete a remote tag in Git, use the command git push --delete origin <tagname>. This removes the tag from the remote repository but keeps it locally unless you delete it with git tag -d <tagname>.

Syntax

The command to delete a remote tag in Git has two main parts:

• git push --delete origin <tagname>: This tells Git to remove the tag named <tagname> from the remote repository called origin.
• git tag -d <tagname>: This optional command deletes the tag locally on your machine.

bash

git push --delete origin <tagname>
git tag -d <tagname>

Example

This example shows how to delete a remote tag named v1.0 and also remove it locally.

bash

git push --delete origin v1.0
git tag -d v1.0

Output

To https://github.com/user/repo.git
 - [deleted]         v1.0
tag "v1.0" deleted

Common Pitfalls

One common mistake is trying to delete a remote tag using git push origin :refs/tags/<tagname> without understanding the syntax, which can be confusing. Another is forgetting to delete the tag locally, which means it still appears in your local list.

Also, ensure you have permission to push changes to the remote repository; otherwise, the delete will fail.

bash

Wrong way:
git push origin :refs/tags/v1.0

Right way:
git push --delete origin v1.0

Quick Reference

Command	Description
git push --delete origin	Delete a tag from the remote repository
git tag -d	Delete a tag locally
git tag	List all local tags
git ls-remote --tags origin	List all remote tags

Key Takeaways

Use git push --delete origin <tagname> to remove a tag from the remote repository.

Delete local tags with git tag -d <tagname> to keep your local repo clean.

Check your permissions before deleting remote tags to avoid push errors.

Avoid confusing syntax like git push origin :refs/tags/<tagname>; prefer the clearer --delete option.

List tags locally and remotely to verify deletion.