Alternativa significa eliminare un ramo git (se git ramo -d non funziona)

Uso git per lo sviluppo di software. Non utilizzo Microsoft OneNote. Tuttavia, in alcuni contesti OneNote viene visualizzato come un'opzione per il menu di scelta rapida delle cose. L'ho premuto accidentalmente mentre cercavo di fare qualcos'altro con un file che era incluso nel mio repository git. L'ho chiuso, ma dopo aver ispezionato il mio repository git, ho scoperto che aveva creato un file OneNote in ogni singola directory del mio repository.

Inoltre, ora esiste un ramo git con l'etichetta OneNote Table Of Contents.onetoc2 Nota che ci sono spazi nel nome del ramo. Sono stato in grado di eliminare tutti i file OneNote, ma non riesco a liberarmi del ramo aggiuntivo.

Esiste un modo alternativo per eliminare un ramo oltre all'opzione git branch -d? Uso Windows 7 Home Premium.

I rami creati localmente in Git sono semplicemente file all'interno della .git/refsdirectory che contengono hash SHA1 di oggetti commit Git. Pertanto, è possibile rimuovere questi rami eliminando i file appropriati.

Questo ramo particolare è probabilmente nella .git/refs/headsdirectory; in tal caso, questo comando dovrebbe funzionare dalla radice del repository:

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

Prova a usare Git Extensions. Dal momento che gli spazi non sono ammessi in Git, scommetto che sono altri personaggi che non puoi digitare (è strano come quelli intrufolati però). Una GUI decente dovrebbe essere in grado di riprodurre il nome del ramo a fini di eliminazione qualunque esso sia.