Alessandro Ghedini /dev/random

Deleting a tag from remote git repository

Just a quick note for myself:

$ git push :refs/tags/tag_to_delete

That’s all.