Learn more about these different git repos.
Other Git URLs
41b74fc
PR#759: cli: fix issues in dist-repo command Merges #759 https://pagure.io/koji/pull-request/759 Fixes: #758 https://pagure.io/koji/issue/758 Three issues found in handle_dist_repo()