Ho accidentalmente potato alcuni rami remoti e non so davvero quale sia la conseguenza di ciò (ho fatto clic sul pulsante "Prune remote branches" in Git Extensions, pensando che eliminerebbe un ramo remoto).Che cos'è la potatura Git?
La documentazione ufficiale dice "git-prune - Elimina tutti gli oggetti non raggiungibili dal database degli oggetti". Non capisco davvero cosa significhi. Immagino che questo potrebbe aver rimosso i rami uniti, ma non ne sono sicuro.
Possibile duplicato di http://stackoverflow.com/questions/4040717/git-remote-prune-didnt-show-as-many-pruned-branches-as-i-expected – Raghavan
Può valere la pena guardare 'git gc ': https://git-scm.com/docs/git-prune anche. – swdon