error: invalid path

タイトルに書いたが、

error: invalid path

git pull したところ上記エラーがでた。

調査しつつメモに残そうと本記事のタイトルでマークダウンファイルを作成しようとしたところ、エラーがでた。つまりたぶん、それが原因だと思われる。ちなみにエラーの内容は、:をファイル名に使うことはできないとのこと。

でまあ、たぶん上記の通りなんだろうけれど、いちおう調べてみた結果「ファイル名にWindowsのファイルシステムで使えない文字]が含まれているのが原因」とその通り。

解決方法

シンプルな解決方法はブラウザでGithubにアクセスし、名前を変更する。

または、Gitの設定を変更する。

git config --global core.protectNTFS false

ファイル名に禁則文字を含むリポジトリを Clone できない（true）という設定をfalseにすることで、エラーははかなくなる。

ただ結局Cloneしたことでファイル名が変更されたので、ファイル名を変更する必要があった。