Git: quitar un tag o un branch en el servidor remoto

Encuentro dificil recordar los comandos de Git para remover un tag o un branch de un repositorio Git en s el servidor remoto.

En realidad no es tan dificil si nos recordamos de la sintaxis del comando git push, Scott Chacon lo explica bien en su libro ProGit book.

A way to remember this command is by recalling the git push [remotename] [localbranch]:[remotebranch] If you leave off the [localbranch] portion, then you’re basically saying, "Take nothing on my side and make it be [remotebranch]".

Entonces se trata solo de hacer un push de un branch/tag vacio al branch/tag remoto.

Supongamos que remotename es origin y remotebranch es serverfix, el comando para quitar un branch remoto es:

$ git push origin :serverfix

y para quitar un tag remoto:

$ git push origin :refs/tags/serverfix

Danilo