diff options
| author | Alberto Sartori <alberto.sartori@huawei.com> | 2022-11-04 12:11:30 +0100 |
|---|---|---|
| committer | Alberto Sartori <alberto.sartori@huawei.com> | 2022-11-04 12:11:30 +0100 |
| commit | c592c7e83613647db2256ac5351e63d09e2d7858 (patch) | |
| tree | 4780cb4afdf71f4b229f37ce89f9b490ad6325bf /doc/specification | |
| parent | d1ea1f3591a0bdd1ef7f0d988ab91b8bdf847436 (diff) | |
| download | justbuild-c592c7e83613647db2256ac5351e63d09e2d7858.tar.gz | |
fix a typo
Diffstat (limited to 'doc/specification')
| -rw-r--r-- | doc/specification/remote-protocol.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/specification/remote-protocol.org b/doc/specification/remote-protocol.org index f214f514..171934c8 100644 --- a/doc/specification/remote-protocol.org +++ b/doc/specification/remote-protocol.org @@ -103,7 +103,7 @@ object format. Using this git tree representation makes tree handling much more efficient, since the effort of traversing and uploading the content of a git tree occurs only once and for each subsequent request, we directly pass around the git tree -id. We require the invariant that if a tree is part of any CAS that all its +id. We require the invariant that if a tree is part of any CAS then all its content is also available in this CAS. To adhere to this invariant, the client side has to prove that the content of a tree is available in the CAS, before uploading this tree. One way to ensure that the tree content is known to the |