Learn more about these different git repos.
Other Git URLs
391b741
@@ -3177,7 +3177,7 @@
host = int(host)
info = session.getHost(host)
if info is None:
- print("No such host: %s\n" % host)
+ warn("No such host: %s\n" % host)
continue
print("Name: %(name)s" % info)
print("ID: %(id)d" % info)
Fixes: https://pagure.io/koji/issue/1152
Metadata Update from @tkopecek: - Pull-request tagged with: testing-ready
Metadata Update from @jcupova: - Pull-request tagged with: testing-done
:thumbsup:
Commit 87f716d fixes this pull-request
Pull-Request has been merged by tkopecek
Fixes: https://pagure.io/koji/issue/1152