Skip to content

Commit 660ee44

Browse files
committed
appease the Hound
1 parent 55b757a commit 660ee44

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

easybuild/tools/github.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -553,7 +553,7 @@ def fetch_files_from_pr(pr, path=None, github_user=None, github_account=None, gi
553553
# see also https://github.com/easybuilders/easybuild-framework/issues/4869
554554
max_attempts = DEFAULT_DOWNLOAD_MAX_ATTEMPTS
555555
download_file(diff_fn, diff_url, diff_filepath, forced=True, trace=False,
556-
max_attempts=DEFAULT_DOWNLOAD_MAX_ATTEMPTS)
556+
max_attempts=max_attempts)
557557
if not os.path.exists(diff_filepath):
558558
raise EasyBuildError(f"Failed to download {diff_url}, even after {max_attempts} attempts and being patient...")
559559
diff_txt = read_file(diff_filepath)
@@ -711,7 +711,7 @@ def fetch_files_from_commit(commit, files=None, path=None, github_account=None,
711711
# see also https://github.com/easybuilders/easybuild-framework/issues/4869
712712
max_attempts = DEFAULT_DOWNLOAD_MAX_ATTEMPTS
713713
download_file(diff_fn, diff_url, diff_filepath, forced=True, trace=False,
714-
max_attempts=DEFAULT_DOWNLOAD_MAX_ATTEMPTS)
714+
max_attempts=max_attempts)
715715
if os.path.exists(diff_filepath):
716716
diff_txt = read_file(diff_filepath)
717717
_log.debug("Diff for commit %s:\n%s", commit, diff_txt)

0 commit comments

Comments
 (0)