diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-01-19 18:27:49 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-01-26 14:51:43 +0100 |
| commit | d59d5b8fc36b79c973bd525c182dbf0ba8b99251 (patch) | |
| tree | 8781d13328c1b35c257c9aa0dc1482647fb72561 /src/other_tools/root_maps/commit_git_map.cpp | |
| parent | 98875552f6afa593ffd5d115c2379e47edfddfbf (diff) | |
| download | justbuild-d59d5b8fc36b79c973bd525c182dbf0ba8b99251.tar.gz | |
just-mr 'git tree' repository: Absent roots sync with serve endpoint
To take advantage of absent roots, we need to ensure that a given
serve endpoint can build against the tree of this generated root.
To this end, for a 'git tree' repository we only set the root as
absent only if the given serve endpoint has this root, or the tree
is known locally and can be provided via the remote CAS. While
generating an absent root the fetch command will never be called.
Generating an absent root without being provided a serve endpoint
is still allowed, but results in a warning.
Diffstat (limited to 'src/other_tools/root_maps/commit_git_map.cpp')
0 files changed, 0 insertions, 0 deletions