Learn more about these different git repos.
Other Git URLs
26287a8
PR#3838: distrepo will not skip rpm stat by default Merges #3838 https://pagure.io/koji/pull-request/3838 Fixes: #3829 https://pagure.io/koji/issue/3829 dist-repo can create repodata with wrong checksums