Git delete remote tag
List the tags with
git tag -l
If you have a tag named '12345' then you would just do this:
git tag -d 12345
git push origin :refs/tags/12345
That will remove '12345' from the remote repository.
Meta
Author: Philip W. Sorst
Created: 2012-12-02 19:12
Updated: 2015-12-15 23:12