Learn more about these different git repos.
Other Git URLs
7f44d1f
cli: allow removal of unused external repo even with --alltags Fixes: https://pagure.io/koji/issue/2061