@@ -753,13 +753,6 @@ def commit_request_fn(gh):
753753 # download tarball for specific commit
754754 repo_commit = download_repo (repo = github_repo , commit = commit , account = github_account )
755755
756- if github_repo == GITHUB_EASYCONFIGS_REPO :
757- files_subdir = 'easybuild/easyconfigs/'
758- elif github_repo == GITHUB_EASYBLOCKS_REPO :
759- files_subdir = 'easybuild/easyblocks/'
760- else :
761- raise EasyBuildError ("Unknown repo: %s" , github_repo , exit_code = EasyBuildExit .OPTION_ERROR )
762-
763756 # symlink subdirectories of 'easybuild/easy{blocks,configs}' into path that gets added to robot search path
764757 mkdir (path , parents = True )
765758 dirpath = os .path .join (repo_commit , easybuild_subdir )
@@ -782,8 +775,8 @@ def commit_request_fn(gh):
782775
783776 # strip of leading subdirectory like easybuild/easyconfigs/ or easybuild/easyblocks/
784777 # because that's what expected by robot_find_easyconfig
785- if file .startswith (files_subdir ):
786- file = file [len (files_subdir ):]
778+ if file .startswith (easybuild_subdir ):
779+ file = file [len (easybuild_subdir ):]
787780
788781 # if file is found, copy it to dedicated directory;
789782 # if not, just skip it (may be an easyconfig file in local directory);
0 commit comments