Re: [PATCH v13 05/13] reftable: clarify how empty tables should be written
From: Junio C Hamano <hidden>
Date: 2020-05-19 22:01:15
"Han-Wen Nienhuys via GitGitGadget" [off-list ref] writes:
From: Han-Wen Nienhuys <redacted> 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.
Nice to see the documentation being careful.
quoted hunk
Signed-off-by: Han-Wen Nienhuys <redacted> --- Documentation/technical/reftable.txt | 7 +++++++ 1 file changed, 7 insertions(+)diff --git a/Documentation/technical/reftable.txt b/Documentation/technical/reftable.txt index 8bad9ade256..6223538d64e 100644 --- a/Documentation/technical/reftable.txt +++ b/Documentation/technical/reftable.txt@@ -715,6 +715,13 @@ 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. + + Varint encoding ^^^^^^^^^^^^^^^