diff options
author | Han-Wen Nienhuys <hanwen@google.com> | 2020-05-20 17:36:11 (GMT) |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-06-09 20:48:36 (GMT) |
commit | 10f007c37031df64a5786f032f52fd1327920e0d (patch) | |
tree | 01aaa7a3391f3fbda50cafedd820794269f3a88e /Documentation | |
parent | 35e6c47404852e9c529d55a3bd374305fb08b743 (diff) | |
download | git-10f007c37031df64a5786f032f52fd1327920e0d.zip git-10f007c37031df64a5786f032f52fd1327920e0d.tar.gz git-10f007c37031df64a5786f032f52fd1327920e0d.tar.bz2 |
reftable: clarify how empty tables should be written
The format allows for some ambiguity, as a lone footer also starts
with a valid file header. However, the current JGit code will barf on
this. This commit codifies this behavior into the standard.
Signed-off-by: Han-Wen Nienhuys <hanwen@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/technical/reftable.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Documentation/technical/reftable.txt b/Documentation/technical/reftable.txt index d652f42..103f65b 100644 --- a/Documentation/technical/reftable.txt +++ b/Documentation/technical/reftable.txt @@ -733,6 +733,12 @@ version) Once verified, the other fields of the footer can be accessed. +Empty tables +++++++++++++ + +A reftable may be empty. In this case, the file starts with a header +and is immediately followed by a footer. + Binary search ^^^^^^^^^^^^^ |