diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-08-16 01:08:22 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-08-16 01:08:23 +0300 |
commit | 1689c22c1c328e9135ed51458e9f9a5d224c5057 (patch) | |
tree | 774db619c960df03d49743e5f0bf06b34a8dcc0c /config.c | |
parent | a14a9bfc132f8fe80cca33d14b1acbcda945de13 (diff) | |
parent | da4398d6a03eb2cf857aa63190e9bf60305befd2 (diff) |
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.c | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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; } |