Re: fast-import should not care about core.ignorecase

Joshua Jensen wrote:

I think it has been discussed before, but maybe Git needs a
core.casefold in addition to core.ignorecase.)

Would it work for --casefold to be a commandline flag to fast-import,
instead of a global option affecting multiple Git commands?

Curious,
Jonathan