Learn more about these different git repos.
Other Git URLs
a197387
PR#2129: hub: document deleteExternalRepo arguments Merges #2129 https://pagure.io/koji/pull-request/2129 Fixes 2134 https://pagure.io/koji/issue/2134