diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-03-16 17:11:05 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-03-20 11:10:05 +0100 |
| commit | 04b74d12248b1c0bbba7de85ee38931cc7b93c96 (patch) | |
| tree | b038636028fb3b5acba04941675a0b97c4646b1b /src/other_tools/ops_maps/git_update_map.cpp | |
| parent | 8f694cb2f9127ff515500c5eb878bb0dcad2899a (diff) | |
| download | justbuild-04b74d12248b1c0bbba7de85ee38931cc7b93c96.tar.gz | |
just-mr: avoid fetching unnecessary repositories
... by only taking the additional roots from the reachable
repositories, not also from the additional roots discovered
that way.
Co-authored-by: Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com>
Diffstat (limited to 'src/other_tools/ops_maps/git_update_map.cpp')
0 files changed, 0 insertions, 0 deletions