delete a remote git tag

Developer from somewhere 

git push origin :refs/tags/some_tag