使用Git修改文件名字的大小写

问题背景

最近发现window对文件名的大小写不敏感，如果想把文件夹start，修改成Start，让git有变化。
应该怎么做呢，直接看黑框操作步骤

解决方案

第一步：将文件（夹）更改大小写

$ mv start Start

第二步：从Git中清除现有文件（夹）的跟踪状态

$ git rm -r --cached start

第三步：将更改后的文件（夹）添加到Git中

$ git add Start

第四步：将更改推送到Git中央仓库

$ git push