### delete a remote tag
If you have a tag named '12345' then you would just do this:
````
git tag -d 12345
git push origin :refs/tags/12345
```