{"thread":{"id":"41964","subject":"bug to report","startedAt":"2016-04-08T10:01:27Z","lastAt":"2016-04-08T11:45:32Z","messageCount":2,"participants":["chenjinlei","Torsten Bögershausen"],"isPatch":false,"patchVersion":null,"patchTotal":null},"messages":[{"id":"282943","messageId":"16238819-B46A-40C7-943A-EBD22EAACEF6@sina.com","threadId":"41964","inReplyTo":null,"subject":"bug to report","fromName":"chenjinlei","fromEmail":"chenjinlei456@sina.com","sentAt":"2016-04-08T10:01:27Z","receivedAt":"2016-04-08T10:01:27Z","isPatch":false,"sender":{"key":"chenjinlei456@sina.com","avatar":null},"body":"\nI’m encounter a problem due to my own stupidity…\n#1 I pushed a project named Android to my repository.\n#2 I `mv Android android`, cause I think it’s no good to use the uppercase as my project name.\n#3 I pushed it to my repository again…\n\nI found that there `Adnroid` and `android` exist in my repository, and I want to delete the former one.\nSo I tried to `git pull && git rm Android`, but guess what? I can’t pull the `Android`……\n\nI found that OS X is case-insensitive, while github repository is case-sensitive, thus I can’t `rm Android` any more. It becomes a gosht in my repository and I can never delete it!\n\n\nOS: OS X\ngit version: 2.6.4 (Apple Git-63)\n"},{"id":"282951","messageId":"570799DC.9000700@web.de","threadId":"41964","inReplyTo":"16238819-B46A-40C7-943A-EBD22EAACEF6@sina.com","subject":"Re: Rename case insensitive","fromName":"Torsten Bögershausen","fromEmail":"tboegi@web.de","sentAt":"2016-04-08T11:45:32Z","receivedAt":"2016-04-08T11:45:32Z","isPatch":false,"sender":{"key":"tboegi@web.de","avatar":"https://avatars.githubusercontent.com/u/7138363?v=4"},"body":"On 08.04.16 12:01, chenjinlei wrote:\n> \n> I’m encounter a problem due to my own stupidity…\n> #1 I pushed a project named Android to my repository.\n> #2 I `mv Android android`, cause I think it’s no good to use the uppercase as my project name.\n> #3 I pushed it to my repository again…\n> \n> I found that there `Adnroid` and `android` exist in my repository, and I want to delete the former one.\n> So I tried to `git pull && git rm Android`, but guess what? I can’t pull the `Android`……\n> \n> I found that OS X is case-insensitive, while github repository is case-sensitive, thus I can’t `rm Android` any more. It becomes a gosht in my repository and I can never delete it!\n>\nCorrect.\n\n#make a fresh clone of your repo to the local disc:\ngit clone \"repo_your_repo_name\" temp_repo\n\n# go into that repo\ncd temp_repo\n\n# Tell Git to rename the folder in the Git repo:\ngit mv Android android\n\n#Commit\ngit commit -m \"mv Android android\"\n\n#Push back\ngit push origin\n\nHTH\n"}]}