diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2025-01-21 11:14:55 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2025-01-29 16:05:35 +0100 |
| commit | 0de8e8b85dc56828000272d81fc7af0865bee477 (patch) | |
| tree | 3895c1dea036dbd6c310ed8294abc7bab623860b /bin/just-deduplicate-repos.py | |
| parent | 5e700aa34055993e781e0cfd3bd9731347cc764b (diff) | |
| download | justbuild-0de8e8b85dc56828000272d81fc7af0865bee477.tar.gz | |
just-deduplicate-repos: Fix formatting
Diffstat (limited to 'bin/just-deduplicate-repos.py')
| -rwxr-xr-x | bin/just-deduplicate-repos.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/just-deduplicate-repos.py b/bin/just-deduplicate-repos.py index 9b3f9407..d4c88f24 100755 --- a/bin/just-deduplicate-repos.py +++ b/bin/just-deduplicate-repos.py @@ -277,7 +277,7 @@ def dedup(repos: Json, user_keep: List[str]) -> Json: if isinstance(root_val, str) and (root_val in renaming): new_roots[root] = final_root_reference(root_val) desc = dict(desc, **new_roots) - + # Update target repos of precomputed roots: if isinstance(desc.get("repository"), dict): repo_root: Json = desc.get("repository") |