Diciamo che avevo un ramo chiamato coolbranch
nel mio repository.
Ora, ho deciso di eliminarlo (sia in remoto che localmente) con:
git push origin :coolbranch
git branch -D coolbranch
Grande! Ora il ramo è davvero cancellato.
Ma quando corro
git branch -a
Ricevo ancora:
remotes/origin/coolbranch
Qualcosa da notare, è che quando clono un nuovo repository, tutto va bene e git branch -a
non mostra il ramo.
Voglio sapere: c'è un modo per eliminare il ramo branch -a
dall'elenco senza clonare una nuova istanza?
git fetch -p
(o git pull -p
) allora i rami remoti saranno potati.