summaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
authorKlaus Aehlig <klaus.aehlig@huawei.com>2024-11-11 12:15:00 +0100
committerKlaus Aehlig <klaus.aehlig@huawei.com>2024-11-11 12:16:17 +0100
commit784221e3b60e5fbead035ad14a0cb021c90f64c2 (patch)
treec0652091bb81aa88966ee779ccede13cb4c53ffe /share
parentfb5cf5291ee9a78a4ba8e0e65bc99683459d39d0 (diff)
downloadjustbuild-784221e3b60e5fbead035ad14a0cb021c90f64c2.tar.gz
repository-config(5): document the possibility of absent roots
Diffstat (limited to 'share')
-rw-r--r--share/man/just-repository-config.5.md6
1 files changed, 4 insertions, 2 deletions
diff --git a/share/man/just-repository-config.5.md b/share/man/just-repository-config.5.md
index 96fbb84d..ccb1bc17 100644
--- a/share/man/just-repository-config.5.md
+++ b/share/man/just-repository-config.5.md
@@ -26,14 +26,16 @@ which determines the type and semantic of the subsequent elements:
path to the file root.
- *`"git tree"`* refers to a file root that is available as part of a
- Git repository. The list has to be of length 3 with the remaining two
+ Git repository. The list has to be of length 2 or 3 with the remaining two
elements being:
1. The *`git tree hash`*, which is sufficient to describe the content
of an entire tree including its sub-trees and blobs. The tree hash
has to be specified in hex encoding.
2. The path to a Git repository on the file system with the promise
- that it contains the aforementioned *`git tree hash`*.
+ that it contains the aforementioned *`git tree hash`*; if this
+ entry is missing, the root is considered absent and any target
+ requiring this root has to come from a specified serve end point.
Repository description
----------------------