From 10f007c37031df64a5786f032f52fd1327920e0d Mon Sep 17 00:00:00 2001 From: Han-Wen Nienhuys Date: Wed, 20 May 2020 17:36:11 +0000 Subject: [PATCH] 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 Signed-off-by: Junio C Hamano --- Documentation/technical/reftable.txt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Documentation/technical/reftable.txt b/Documentation/technical/reftable.txt index d652f42cbb..103f65b061 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 ^^^^^^^^^^^^^