Supprimer un remote tag Git

Vous ne devriez pas avoir besoin (et vous ne devriez surtout pas) de supprimer un tag git présent sur une remote, mais au cas où...

Si vous avez un tag 1234 vous devez faire comme suivant:

$ git tag -d 1234
$ git push origin :refs/tags/1234

Cela va remove 1234 du remote repository.

Voila voila!