git push origin --delete
* local: # Borra la rama en tu PC (forzado si tenĂa cambios sin fusionar)
git branch -D
# Limpia las referencias muertas del servidor y comprime tu base de datos local
git remote prune origin
git gc --prune=now --aggressive