Ho un master e un ramo dev nel mio repository. Voglio rimuovere il ramo principale dal mio computer in modo da non impegnarmi accidentalmente (è successo ..).
Qui ci sono domande su come eliminare le filiali localmente e in remoto, ma non sono stato in grado di scoprire come eliminare una filiale solo localmente.
Una risposta ha detto di usare questo:
git branch -d local_branch_name
Ma ci ho provato e il ramo appare ancora nell'applicazione GitHub.
Deleted branch master (was e8a8e29).