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