"Derrick Stolee via GitGitGadget" <gitgitgadget@xxxxxxxxx> writes: > case-insensitive check when core.ignoreCase is set. Because the performance > impact is much lower than I anticipated, I no longer think it is important > to add a new config option to enable/disable this logic. Nice. Thanks.