visionmedia/git-extras — pull request #155 by themalkolm (2012-11-18 10:23:01+00:00)
Title: Delete tag on origin even if it wasn't locally fetched yet.

This should keep consistent logic among scripts i.e. git-delete-tag
should behave the same way as git-delete-branch.