Borrado de ramas remotas

[AitorLopez]

OK. Un poco mas abajo despues de hablar del git gc y del git prune (que entiendo que son opciones mucho mas avanzadasy super validas), he visto a uno que hacia un git fetch-p que hace lo mismo que git fetch, pero no solamente de los commit que ha habido, si no tambien te "actualiza" las ramas de tu local, es decir, las que estan eliminadas en remoto pero que salen en tu local por tener una rererencia de ellas.

Es decir, exactamente lo que estaba buscando, por lo que te doy las gracias por toda tu ayuda, pateketrueke.

Al hilo de esto, se me ocurre preguntar por un sitio donde se puedan ver la sintaxis de los comandos mas usados de git (esto es facil) pero explicando sus opciones (-m, -t, etc) (esto ya no lo es tanto), pero creo que es mejor hacerlo en otro hilo.