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