{"thread":{"id":"50954","subject":"Git config \"ignorecase = true\" has issues","startedAt":"2019-04-19T19:28:34Z","lastAt":"2019-04-24T19:11:33Z","messageCount":2,"participants":["Ax Da","Torsten Bögershausen"],"isPatch":false,"patchVersion":null,"patchTotal":null},"messages":[{"id":"374156","messageId":"trinity-3f1323ca-ca26-46c1-8757-b30bb495bd3a-1555702112240@3c-app-gmx-bs44","threadId":"50954","inReplyTo":null,"subject":"Git config \"ignorecase = true\" has issues","fromName":"Ax Da","fromEmail":"discussion@gmx.net","sentAt":"2019-04-19T19:28:32Z","receivedAt":"2019-04-19T19:28:34Z","isPatch":false,"sender":{"key":"discussion@gmx.net","avatar":null},"body":"\nWe're working on Windows machines and have been experiencing issues with the current implementation of Git with config setting \"core.ignorecase = true\" (which is the default on Windows machines and repositories created on Windows machines):\n\nRenaming files in a repository by only changing their case (changing a capital letter to its small equivalent and vice versa) is ignored by Git. Git retains the original case in the repository and all contributors will continue to see the ole file name which leads to confusion and issues with Open Source tools programmed to not ignore file name case.\n\nCurrently there is no way to convey the new file name (only differing in case) to Git when \"core.ignorecase = true\".\n\nHence, I propose to alter the behaviour of Git when \"core.ignorecase = true\": A repository's file name changes should be recognized as a RENAME operation and be propagated to the repository even when the new file name only differs from the old file name in case.\n\nThanks,\nAxel Dahmen\n"},{"id":"374417","messageId":"20190424191128.5emedinbbfmghs75@tb-raspi4","threadId":"50954","inReplyTo":"trinity-3f1323ca-ca26-46c1-8757-b30bb495bd3a-1555702112240@3c-app-gmx-bs44","subject":"Re: Git config \"ignorecase = true\" has issues","fromName":"Torsten Bögershausen","fromEmail":"tboegi@web.de","sentAt":"2019-04-24T19:11:29Z","receivedAt":"2019-04-24T19:11:33Z","isPatch":false,"sender":{"key":"tboegi@web.de","avatar":"https://avatars.githubusercontent.com/u/7138363?v=4"},"body":"On Fri, Apr 19, 2019 at 09:28:32PM +0200, Ax Da wrote:\n>\n> We're working on Windows machines and have been experiencing issues with the current implementation of Git with config setting \"core.ignorecase = true\" (which is the default on Windows machines and repositories created on Windows machines):\n>\n> Renaming files in a repository by only changing their case (changing a capital letter to its small equivalent and vice versa) is ignored by Git. Git retains the original case in the repository and all contributors will continue to see the ole file name which leads to confusion and issues with Open Source tools programmed to not ignore file name case.\n>\n> Currently there is no way to convey the new file name (only differing in case) to Git when \"core.ignorecase = true\".\n>\n> Hence, I propose to alter the behaviour of Git when \"core.ignorecase = true\": A repository's file name changes should be recognized as a RENAME operation and be propagated to the repository even when the new file name only differs from the old file name in case.\n\nYou can rename files like this:\ngit mv File.txt file.txt\ngit commit\n\nand Git will record the changes.\n\nThe main problem is, that after the rename, and may be on another machine after a pull,\nGit checks with the file system, if any updates in the working tree are needed.\nIn human speech, Git asks the file system:\nDo we have a file named \"file.txt\" on disk ?\nAnd Windows answers: Yes we have.\nEven if the file is named \"File.txt\" and Git asks for \"file.txt\".\n\nYou can try it yourself.\nRun\ncat File.txt\nunder the Git shell (bash)\nor\ntype File.txt\nunder cmd.exe\n\nThat is how it is.\n\nIf you really need the updated name \"file.txt\", you can delete all files in the worktree\nrm -rf *\nfollowed by\ngit reset --hard\n\nBut in any case, run\ngit status\nbefore and make sure that your working tree is clean.\n\n>\n> Thanks,\n> Axel Dahmen\n"}]}