Make sure the main git repo is case-insensitive too