Почему простой `git mv` не работает?

Я пытаюсь переименовать файл в локальном каталоге .git :

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 существует, прежде чем пытаться выполнить эту команду)