単純な `git mv` が失敗する理由は何ですか? 質問する

ローカルのファイルの名前を変更しようとしています.git directory:

git mv MyProj/src/ts0621/foobar.c NewProjName/src/ts0629/foobar.c

しかし、git は次のように失敗します:

fatal: renaming 'MyProj/src/ts0621/foobar.c' failed: No such file or directory

サブディレクトリの名前を変更するときはうまく機能していたと断言できますgit mvが、何らかの理由で、ファイルの単純な名前変更が機能しません。なぜでしょうか?

(もちろん、MyProj/src/ts0621/foobar.cこのコマンドを発行する前にファイルが存在することを確認しました)