Learn more about these different git repos.
Other Git URLs
1427b3e
PR#2967: Prune user repos for image tasks Merges #2967 https://pagure.io/koji/pull-request/2967 Fixes: #2966 https://pagure.io/koji/issue/2966 Prune duplicated repos in image task