Suppress pylint warning W0719

Author: alexanderlaw

prepare-instances.py

@@ -79,6 +79,7 @@ def get_repo_url(instance):
             #  Prepare source directory
             git_dir = config.find('./settings/default/git').get('path')
             if not os.path.exists(git_dir):
+                # pylint: disable=broad-exception-raised
                 raise Exception(f'Git directory ({git_dir}) not found'
                                 ' (check settings/default/git in config.xml)!')
             git_branch = instance.get('git_branch')

run-benchmarks.py

@@ -6,7 +6,7 @@
 as specified in a configuration file.
 """
 
-# pylint: disable=invalid-name
+# pylint: disable=invalid-name,broad-exception-raised
 
 # Requirements: docker, bash, wget, git, tar, 7z