958b0ab2f8
Add a repo_paths argument to find_missing_repos, with the default value unchanged. Factor out the contents of the loop in _get_repo_dict in config.py to get_repo so that Repo instances can be created one at a time. The behavior of _get_repo_dict is unchanged. Add get_repos_config so it is possible to check whether a repo name exists just in the config, as opposed to whether a Repo instance has been created. Add get_config to allow the config dict to be read in its entirety for debugging purposes. Signed-off-by: Peter Hoyes <Peter.Hoyes@arm.com> [Jan: fix minor style issue] Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>