Commit 0c33a710 authored by Lukas Jelonek's avatar Lukas Jelonek
Browse files

Fix bug: Exception when no repository is available

parent 2e5f8186
......@@ -113,7 +113,7 @@ class Config:
self.merge_modules_in_profiles(config)
# check that tools is a dictionary
if config['tools'] is None:
if 'tools' not in config or config['tools'] is None:
config['tools'] = {}
return config
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment