J'ai un master et une branche dev dans mon référentiel. Je veux supprimer la branche master de mon ordinateur pour ne pas m'y engager accidentellement (c'est arrivé ..).
Il y a des questions ici sur la façon de supprimer des branches localement et à distance, mais je n'ai pas été en mesure de savoir comment supprimer uniquement une branche localement.
Une réponse a dit d'utiliser ceci:
git branch -d local_branch_name
Mais j'ai essayé cela et la branche apparaît toujours dans l'application GitHub.
Deleted branch master (was e8a8e29).