[arch] improvement: new property 'prefer_repository_provider'

This commit is contained in:
Vinicius Moreira
2022-01-28 18:31:17 -03:00
parent 9d1472c1a9
commit 9656f78020
15 changed files with 59 additions and 9 deletions

View File

@@ -227,7 +227,8 @@ class UpdatesSummarizer:
remote_provided_map=context.remote_provided_map,
remote_repo_map=context.remote_repo_map,
watcher=self.watcher,
automatch_providers=context.arch_config['automatch_providers'])
automatch_providers=context.arch_config['automatch_providers'],
prefer_repository_provider=context.arch_config['prefer_repository_provider'])
if deps is None:
tf = time.time()