在git存储库中，如何删除旧的重命名；“资本化”；不丢失Git历史记录的文件夹

我有一个git存储库，在其中我将一个文件夹的名称更改为所有小写字母。 我成功地推送了更改，当我执行git拉取时，我只得到了新的文件夹名，但是当我转到gitlab并查看我的分支时，我的分支上同时有Foo和Foo文件夹

---

如何从我的存储库中清除此内容？

取决于您的远程存储库托管服务

例如，在GitLab上，您可以转到不需要的文件夹，然后删除那里的文件：该文件夹随后将消失

为文件夹本身设置一个“删除”按钮会更容易，但该按钮仍处于挂起状态（）

想法仍然是：尝试在远程（Git repo托管服务）而不是本地（本地克隆）修复问题。
然后再克隆一次。

git日志--遵循[文件]

我们可以看到文件重命名历史记录，但这并不是我最初问的问题的答案

---

从本质上讲，这样做是不可能的

我确信原因是某些文件无法更改其路径。检查Foo内容我不知道在不区分大小写的文件系统中修复它的简单方法。。。也许有人有主意