[2015-02-20] Delete remote tags with git

I recently needed to do this.

git tag -d 12345

But i realized, that these tags where just deletet locally. Even a push --tags didn't help. But luckily I found this blog post. You need to do this push to force a deletion.

git push origin :refs/tags/12345