We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0b91c33 commit 803f28dCopy full SHA for 803f28d
easybuild/tools/github.py
@@ -566,7 +566,7 @@ def pr_request_fn(gh):
566
else:
567
error_msg = f"HTTP status code: {status}"
568
except HTTPError as err:
569
- error_msg = f"HTTP error: {err}"
+ error_msg = str(err)
570
571
if error_msg:
572
error_msg = f"Failed to download diff for {github_account}/{github_repo} PR #{pr}! ({error_msg})"
@@ -735,7 +735,7 @@ def commit_request_fn(gh):
735
736
737
738
739
740
741
error_msg = f"Failed to download diff for {github_account}/{github_repo} commit {commit}! ({error_msg})"
0 commit comments