diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-01-24 17:09:01 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-01-31 17:15:46 +0100 |
| commit | 66df7f4956c6fe1823eb43d31c3cbac7d8716125 (patch) | |
| tree | 3f8bf106b3e189eeb4cfa01f97e8f9bb18678406 /src/other_tools/root_maps/fpath_git_map.cpp | |
| parent | 3dc81b4b5a89f4e37af45ec9954723c79c3017cf (diff) | |
| download | justbuild-66df7f4956c6fe1823eb43d31c3cbac7d8716125.tar.gz | |
just-mr: Failure in serve api root tree requests should be fatal
The requests to retrieve the tree of a commit, archive, or distdir
also set up those trees in a way that the serve endpoint can later
build against them, besides allowing just-mr to set up roots
locally. Therefore, if the witnessing entity (Git commit, content
blob, or distdir, respectively) is known to the serve endpoint,
then failing to set up the root tree there should result in a
failure also of the just-mr setup on the client side.
Diffstat (limited to 'src/other_tools/root_maps/fpath_git_map.cpp')
0 files changed, 0 insertions, 0 deletions