Daniel Roux: Software Developer | Music & Code

Primero localmente y después remotamente.


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


git branch -r -d name_of_the_branch

O mi favorito

git push origin :name_of_the/branch

Puedes recuperar un poco de tiempo en las tareas cotidianas de git si creas alias para los comandos más comunes.

Git soporta alias así que lo unico que tienes que hacer es agregar unas líneas a tu ~/.gitconfig, les dejo el mío:

[alias]
  st = status
  ci = commit
  br = branch
  co = checkout
  df = diff
  lg = log -p
  rb = rebase

Y voilà:

$git co master
Switched to branch "master"