diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-04-25 13:14:47 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-04-25 16:34:02 +0200 |
| commit | 32b934caf5b2619c78dc4d05a77fecbade603ae1 (patch) | |
| tree | e1bfb410737cfd5d0680af06e93ffd00d60ab8f2 /bin/parallel-bootstrap-traverser.py | |
| parent | b61e6ac8e042f9bcc684c10f085553455b13fab1 (diff) | |
| download | justbuild-32b934caf5b2619c78dc4d05a77fecbade603ae1.tar.gz | |
just-deduplicate-repos: merge pragma of identified repositories
While just-deduplcate-repos only identifies repositories that are
semantically indistinguishable, there still is the pragma to consider.
- If the repository in one use requires to be present, we have to
fetch it, hence cannot treat it as absent.
- If a repository in one place has to be transformed to a git root,
this also has to happen for the copy we keep.
Diffstat (limited to 'bin/parallel-bootstrap-traverser.py')
0 files changed, 0 insertions, 0 deletions