A question about git

encountered a very painful problem. There are two files index and Index online, but there is only one index when pulled locally.

gitlab

thought it was a case setting problem, but it still didn"t work to change core.ignorecase to false,.

solve!

Jun.19,2021

if it is a windows system, no matter what the git setting is, the underlying layer of the system does not support two files with the same name.


linux system is case-sensitive. Windows and Mac OS, are not case-sensitive, right?


the solution to this problem is simple: delete all online index and Index, then pull them locally, create a new index, with the correct name and resubmit it.

Menu