Eu uso o git para desenvolvimento de software. Eu não uso o Microsoft OneNote. No entanto, em alguns contextos, o OneNote surge como uma opção para o menu do botão direito sobre as coisas. Eu acidentalmente o pressionei enquanto tentava fazer outra coisa com um arquivo que estava incluído no meu repositório do git. Eu fechei o site, mas ao inspecionar meu repositório git, descobri que ele criara um arquivo do OneNote em cada diretório do repositório.
Além disso, há agora uma ramificação git chamada OneNote Table Of Contents.onetoc2 . Note que há espaços no nome da ramificação. Consegui excluir todos os arquivos do OneNote, mas não consigo me livrar do ramo extra.
Existe um meio alternativo de excluir um branch além da opção git branch -d? Eu uso o Windows 7 Home Premium.
As ramificações criadas localmente no Git são simplesmente arquivos dentro do diretório .git/refs que contém hashes SHA1 dos objetos de confirmação do Git. Portanto, você pode remover essas ramificações excluindo os arquivos apropriados.
Essa ramificação em particular provavelmente está no diretório .git/refs/heads ; se assim for, este comando deve funcionar a partir da raiz do repositório:
del ".git\refs\heads\OneNote Table Of Contents.onetoc2"
Tente usar extensões do Git. Como os espaços não são permitidos no git, eu aposto que esses são outros caracteres que você não pode digitar (é estranho como aqueles se infiltraram). Uma GUI decente deve ser capaz de reproduzir o nome da ramificação para fins de exclusão, seja qual for.