[PATCH v10 08/12] reftable: clarify how empty tables should be written
- From
Han-Wen Nienhuys via GitGitGadget <gitgitgadget@gmail.com>
- Date
- Apr 27, 2020, 20:13 UTC
- Message-ID
- <95aae041613c7f6ac683c749ea3863a7fd1e46ef.1588018418.git.gitgitgadget@gmail.com>
- In-Reply-To
- <pull.539.v10.git.1588018418.gitgitgadget@gmail.com>
From: Han-Wen Nienhuys <hanwen@google.com>
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> --- Documentation/technical/reftable.txt | 7 +++++++ 1 file changed, 7 insertions(+)
diff --git a/Documentation/technical/reftable.txt b/Documentation/technical/reftable.txt index ee3f36ea851..df5cb5f11b8 100644 --- a/Documentation/technical/reftable.txt +++ b/Documentation/technical/reftable.txt @@ -731,6 +731,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 ^^^^^^^^^^^^^^^
-- gitgitgadget