Learn more about these different git repos.
Other Git URLs
18600b2
PR#914: dist repo updates Merges #914 https://pagure.io/koji/pull-request/914 Fixes: #409 https://pagure.io/koji/issue/409 dist-repos are missing critical functionality Fixes: #457 https://pagure.io/koji/issue/457 creating dist-repos can expire regular (non-dist) repos for same tag