Skip to content
Snippets Groups Projects
Commit 0ec480b6 authored by André Anjos's avatar André Anjos :speech_balloon:
Browse files

[scripts.mirror] Allow whitelisting to take precedence

parent 8885a030
No related branches found
No related tags found
No related merge requests found
Pipeline #51290 passed
Stage: build
Stage: deploy
Hide whitespace changes
Inline Side-by-side
bob/devtools/scripts/mirror.py
+ 1
− 1
View file @ 0ec480b6
...@@ -246,7 +246,7 @@ def mirror( ...@@ -246,7 +246,7 @@ def mirror(
if whitelist is not None and os.path.exists(whitelist): if whitelist is not None and os.path.exists(whitelist):
globs_to_consider = set(load_glob_list(whitelist)) globs_to_consider = set(load_glob_list(whitelist))
to_download = whitelist_filter(to_download, globs_to_consider) to_download += whitelist_filter(remote_packages, globs_to_consider)
# in the local packages, subset those that we no longer need, be it # in the local packages, subset those that we no longer need, be it
# because they have been removed from the remote repository, or because # because they have been removed from the remote repository, or because
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment