Autre moyen de supprimer une branche git (si git branch -d ne fonctionne pas)

J'utilise git pour le développement de logiciels. Je n'utilise pas Microsoft OneNote. Cependant, dans certains contextes, OneNote apparaît comme une option pour le menu contextuel. J'ai accidentellement appuyé dessus tout en essayant de faire autre chose avec un fichier inclus dans mon dépôt Git. Je l'ai fermé, mais après avoir inspecté mon référentiel git, j'ai découvert qu'il avait créé un fichier OneNote dans chaque répertoire de mon référentiel.

De plus, il y a maintenant une branche git intitulée OneNote Table Of Contents.onetoc2 Notez qu'il y a des espaces dans le nom de la branche. J'ai pu supprimer tous les fichiers OneNote, mais je ne parviens pas à supprimer la branche supplémentaire.

Existe-t-il un autre moyen de supprimer une branche que l’option git branch -d? J'utilise Windows 7 Home Premium.

Les branches créées localement dans Git sont simplement des fichiers dans le .git/refsrépertoire qui contiennent des hachages SHA1 d'objets de validation Git. Par conséquent, vous pouvez supprimer ces branches en supprimant les fichiers appropriés.

Cette branche particulière est probablement dans le .git/refs/headsrépertoire; Si tel est le cas, cette commande devrait fonctionner à partir de la racine du référentiel:

del ".git\refs\heads\OneNote Table Of Contents.onetoc2"

Essayez d’utiliser des extensions Git. Etant donné que les espaces ne sont pas autorisés dans git, je parie que ce sont d’autres caractères que vous ne pouvez pas taper (c’est étrange de voir comment ceux-ci s’y sont introduits). Une interface graphique correcte devrait pouvoir reproduire le nom de la branche à des fins de suppression, quelle qu’elle soit.