diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-11-11 12:15:00 +0100 |
---|---|---|
committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-11-11 12:16:17 +0100 |
commit | 784221e3b60e5fbead035ad14a0cb021c90f64c2 (patch) | |
tree | c0652091bb81aa88966ee779ccede13cb4c53ffe /share | |
parent | fb5cf5291ee9a78a4ba8e0e65bc99683459d39d0 (diff) | |
download | justbuild-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.md | 6 |
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 ---------------------- |