Learn more about these different git repos.
Other Git URLs
742e5de
PR#4354: add-external-repo excepts comma-separated and space-separated list Merges #4354 https://pagure.io/koji/pull-request/4354 Fixes: #4353 https://pagure.io/koji/issue/4353 CLI: add-external-repo doesn't parse archlist according to help