git监听不到文件名大小写的变化

最近在做项目的时候遇到了一个问题，大概描述一下现象和解决问题的过程：
1、项目用gitlab管理
2、改了一个文件的名字（role.vue改为Role.vue）当然还有其他的代码更改，提交的时候没有注意看status，忽略掉了文件改名的事
3、用Jenkins发布的时候一直在打包那一步失败
4、查看Jenkins的log发现npm run build那一步提示找不到Role.vue这个模块
5、本地打包试了一下没问题才怀疑到文件改名是否被提交

最终得出结论：git 无法检测到文件的大小写改变。

解决方案：
1、改git配置：git config core.ignorecase false
2、手动更改：删除文件，再添加改名后的文件，正常流程提交
3、在线编辑：gitlab在线编辑改文件名之后在本地pull一下