Cómo borrar en local las ramas eliminadas en remoto con Git
En esta ocasión, vamos a ver cómo borrar en local las ramas eliminadas en remoto con Git, de cara a tener tu repositorio local actualizado y limpio.
Para borrar las remas eliminadas en romoto de local lo haremos con:
git pull --prune
Con esto, actualizaremos nuestra rama local y eliminaremos de nuestro repositorio aquellas ramas que ya fueron eliminadas en remoto.
Ya sabes cómo borrar en local las ramas eliminadas en remoto con Git.
Puedes aprender más con nuestro manual de Git.
Espero que te haya sido de utilidad!
