From df7c5baaa11e80041b9adbc5b2c54381acf5a3b2 Mon Sep 17 00:00:00 2001 From: paulzierep Date: Tue, 12 Mar 2024 08:54:01 +0100 Subject: [PATCH] also works if no config is defined --- bin/extract_galaxy_tools.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/bin/extract_galaxy_tools.py b/bin/extract_galaxy_tools.py index 168b4ffb..0786d720 100644 --- a/bin/extract_galaxy_tools.py +++ b/bin/extract_galaxy_tools.py @@ -149,7 +149,9 @@ def get_tool_github_repositories( repo_l = get_string_content(repo_f).rstrip() repo_list.extend(repo_l.split("\n")) - if add_extra_repositories: # add non planemo monitor repositories defined in conf + if ( + add_extra_repositories and "extra-repositories" in configs + ): # add non planemo monitor repositories defined in conf repo_list = repo_list + configs["extra-repositories"] print("Parsing repositories from:")