How to delete a remote git tag

The following commands remove tag: abc

git tag -d abc
git push origin :refs/tags/abc