Add 'core.ignorecase' option

diff --git a/config.c b/config.c
index 062449459e1a4cfc2a605c065ed281669e0e7452..3d51868f2b616859b2676d6c50633d8aa00eb641 100644 (file)
--- a/config.c
+++ b/config.c
@@ -342,6 +342,11 @@ int git_default_config(const char *var, const char *value)
                return 0;
        }
 
+       if (!strcmp(var, "core.ignorecase")) {
+               ignore_case = git_config_bool(var, value);
+               return 0;
+       }
+
        if (!strcmp(var, "core.bare")) {
                is_bare_repository_cfg = git_config_bool(var, value);
                return 0;