git move文件夹仅按大小写敏感的名称更改

Question

我在git中（在FS上）有一个名为

的文件夹

fooBar

但是，在git中它注册了两次：

foobar和fooBar

一个How do I commit case-sensitive only filename changes in Git?

git mv -f foobar fooBar

失败：

fatal: Umbenennung von 'foobar' fehlgeschlagen: Invalid argument

如何再次同步它，即仅对名称为fooBar的FS对象进行单个引用？