diff options
author | Jonathan Nieder <jrnieder@gmail.com> | 2018-11-19 22:12:22 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-11-21 13:43:06 +0900 |
commit | 429160544db9cc0cf748cdc98b21bd3533ec85a3 (patch) | |
tree | 8164f91fe7bbe0989a899521560d34c1fe867592 /Documentation/pull-fetch-param.txt | |
parent | eoie: default to not writing EOIE section (diff) | |
download | tgif-429160544db9cc0cf748cdc98b21bd3533ec85a3.tar.xz |
ieot: default to not writing IEOT section
As with EOIE, popular versions of Git do not support the new IEOT
extension yet. When accessing a Git repository written by a more
modern version of Git, they correctly ignore the unrecognized section,
but in the process they loudly warn
ignoring IEOT extension
resulting in confusion for users. Introduce the index extension more
gently by not writing it yet in this first version with support for
it. Soon, once sufficiently many users are running a modern version
of Git, we can flip the default so users benefit from this index
extension by default.
Introduce a '[index] recordOffsetTable' configuration variable to
control whether the new index extension is written.
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/pull-fetch-param.txt')
0 files changed, 0 insertions, 0 deletions