git rama remota eliminada pero todavía aparece en 'branch -a'
Digamos que tenía una rama llamadacoolbranch en mi repositorio.
Ahora, decidí eliminarlo (tanto de forma remota como local) con:
git push origin :coolbranch
git branch -D coolbranch
¡Excelente! Ahora la rama está realmente eliminada.
Pero cuando corro
git branch -a
Todavía obtengo:
remotes/origin/coolbranch
lgo para notar es que cuando clono un nuevo repositorio, todo está bien ygit branch -a no muestra la rama.
Quiero saber: ¿hay alguna forma de eliminar la rama de labranch -a lista sin clonar una nueva instancia?