git rename case-sensitive file-rename ignore-case asked Mar 18 '13 at 20:52