Learn more about these different git repos.
Other Git URLs
41f0931
PR#2560: cli: allow removal of unused external repo even with --alltags Merges #2560 https://pagure.io/koji/pull-request/2560 Fixes: #2061 https://pagure.io/koji/issue/2061 cannot remove disassociated external repos