summaryrefslogtreecommitdiff
path: root/config.c
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2018-08-15 22:08:22 (GMT)
committerJunio C Hamano <gitster@pobox.com>2018-08-15 22:08:23 (GMT)
commit1689c22c1c328e9135ed51458e9f9a5d224c5057 (patch)
tree774db619c960df03d49743e5f0bf06b34a8dcc0c /config.c
parenta14a9bfc132f8fe80cca33d14b1acbcda945de13 (diff)
parentda4398d6a03eb2cf857aa63190e9bf60305befd2 (diff)
downloadgit-1689c22c1c328e9135ed51458e9f9a5d224c5057.zip
git-1689c22c1c328e9135ed51458e9f9a5d224c5057.tar.gz
git-1689c22c1c328e9135ed51458e9f9a5d224c5057.tar.bz2
Merge branch 'jk/core-use-replace-refs'
A new configuration variable core.usereplacerefs has been added, primarily to help server installations that want to ignore the replace mechanism altogether. * jk/core-use-replace-refs: add core.usereplacerefs config option check_replace_refs: rename to read_replace_refs check_replace_refs: fix outdated comment
Diffstat (limited to 'config.c')
-rw-r--r--config.c5
1 files changed, 5 insertions, 0 deletions
diff --git a/config.c b/config.c
index 6664504..efe27d5 100644
--- a/config.c
+++ b/config.c
@@ -1353,6 +1353,11 @@ static int git_default_core_config(const char *var, const char *value)
var, value);
}
+ if (!strcmp(var, "core.usereplacerefs")) {
+ read_replace_refs = git_config_bool(var, value);
+ return 0;
+ }
+
/* Add other config variables here and to Documentation/config.txt. */
return 0;
}