Is git not case sensitive?