Can we instead make the default `null` and then, in `GitRepository.CreateRemote()`, we don't set `core.ignorecase` at all if the value is still null? This changes the default from `"false"` to "your default value".