diff options
| author | Junio C Hamano <gitster@pobox.com> | 2018-08-15 15:08:22 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-08-15 15:08:23 -0700 |
| commit | 1689c22c1c328e9135ed51458e9f9a5d224c5057 (patch) | |
| tree | 774db619c960df03d49743e5f0bf06b34a8dcc0c /builtin/log.c | |
| parent | Merge branch 'jh/json-writer' (diff) | |
| parent | add core.usereplacerefs config option (diff) | |
| download | git-1689c22c1c328e9135ed51458e9f9a5d224c5057.tar.gz git-1689c22c1c328e9135ed51458e9f9a5d224c5057.zip | |
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 'builtin/log.c')
0 files changed, 0 insertions, 0 deletions