解決

error: invalid path タイトルに書いたが、 error: invalid path git pull したところ上記エラーがでた。 調査しつつメモに残そうと本記事のタイトルでマークダウンファイルを作成しようとしたところ、エラーがでた。つまりたぶん、それが原因だと思われる。ちなみにエラーの内容は、:をファイル名に使うことはできないとのこと。 でまあ、たぶん上記の通りなんだろうけれど、いちおう調べてみた結果「ファイル名にWindowsのファイルシステムで使えない文字]が含まれているのが原因」とその通り。 解決方法 シンプルな解決方法はブラウザでGithubにアクセスし、名前を変更する。 または、Gitの設定を変更する。 git config --global core.protectNTFS false ファイル名に禁則文字を含むリポジトリを Clone できない（true）という設定をfalseにすることで、エラーははかなくなる。 ただ結局Cloneしたことでファイル名が変更されたので、ファイル名を変更する必要があった。