Learn more about these different git repos.
Other Git URLs
164e4bf
PR#2081: new policy for dist-repo Merges #2081 https://pagure.io/koji/pull-request/2081 Fixes: #1660 https://pagure.io/koji/issue/1660 Add dist-repo to hub policy