Learn more about these different git repos.
Other Git URLs
aa48b87
PR#1037: use --update for dist-repos if possible Merges #1037 https://pagure.io/koji/pull-request/1037 Fixes: #1031 https://pagure.io/koji/issue/1031 createrepo_c in distRepo does not include --update