Di solito, quando invio richieste pull su github, creo un ramo, apporto le modifiche, quindi chiedo loro di unire quel ramo nel repository.Se cancelliamo un ramo sul server, possiamo eliminarlo automaticamente nella nostra copia locale?
Una volta fatto, su Github, cancello il ramo (ma github lo nasconde). Quindi cancello definitivamente il ramo sul sito Github.
Ora che il ramo remoto è sparito, come posso sincronizzare il repository locale con il telecomando? Ho provato a recuperare e tirare, ma questo non elimina i rami nel mio repository locale.
Devo cancellarli manualmente dal mio repository, o c'è un modo per sincronizzarlo?
Ciò ha impedito a tutti i rami di apparire su "origin" quando eseguo 'git branch -a', ma i rami esistono ancora nel mio repository locale. – F21
@ F21 vero. Ho modificato la mia domanda per rendere più visibile questa limitazione e per suggerire una possibile soluzione. – VonC