Learn more about these different git repos.
Other Git URLs
0e0145d
@@ -498,6 +498,8 @@
with closing(requests.get(url, stream=True)) as response:
+ # raise error if occured
+ response.raise_for_status()
length = response.headers.get('content-length')
f = open(relpath, 'wb')
if length is None:
Fixes: https://pagure.io/koji/issue/1020
:thumbsup:
wfm
Commit 0d7e69d fixes this pull-request
Pull-Request has been merged by mikem
Fixes: https://pagure.io/koji/issue/1020