Learn more about these different git repos.
Other Git URLs
f930d33
PR#2158: hub: document addExternalRepoToTag arguments Merges #2158 https://pagure.io/koji/pull-request/2158 Fixes #2164 https://pagure.io/koji/issue/2164