Git push filename letter case problem code example Example: activate git case sensitive windows git config core.ignorecase false