Learn more about these different git repos.
Other Git URLs
e17671c
PR#4316: ensure repos dir Merges #4316 https://pagure.io/koji/pull-request/4316 Fixes: #4315 https://pagure.io/koji/issue/4315 In clean installation topdir/repos is not created