In un repository git, un ramo remoto che non sto monitorando è stato cancellato. Quando digitoGit: aggiornamento delle informazioni sulla filiale remota
git branch -r
ramo cancellato mostra ancora fino (e posso controllarlo fuori)
Quale comando git devo correre ad aggiornare queste informazioni?
Puoi anche eseguire 'git remote prune origin' per ripulire i tuoi riferimenti remoti. – cmcginty
Questo rimuoverà tutti i rami che non sono più tracciati dal repository remoto. Quindi, stai attento. –
Penso che sia anche utile sapere che, anche se un po 'più prolisso, puoi usare 'git push --delete ' per eliminare anche i rami remoti. –
AeroCross