title: Case sensitivity in Git
body: <p>I've run into a problem with git. Basically I set to false <code>core.ignorecase</code> because I wanted to change the case of the names of some folders (since I'm under OSX with a case-insensitive filesystem, the changes weren't shown otherwise). When I pulled my data, I've noticed that now every renamed folder appears twice on the repository, with both the old and the new name. I don't know what to do to remove the old folders since they don't appear locally (I've try to set <code>core.ignorecase</code> to true again but it isn't helping).</p>