Skip to content

Commit 14e0b43

Browse files
committed
fix error message if commit diff could not be downloaded
1 parent fce140b commit 14e0b43

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

easybuild/tools/github.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -727,7 +727,7 @@ def commit_request_fn(gh):
727727
files = det_patched_files(txt=diff_txt, omit_ab_prefix=True, github=True, filter_deleted=True)
728728
_log.debug("List of patched files for commit %s: %s", commit, files)
729729
else:
730-
error_msg = f"Failed to download diff for {github_account}/{github_repo} PR #{pr}! "
730+
error_msg = f"Failed to download diff for {github_account}/{github_repo} commit {commit}! "
731731
error_msg += f"(HTTP status code: {status})"
732732
raise EasyBuildError(error_msg)
733733

0 commit comments

Comments
 (0)