Learn more about these different git repos.
Other Git URLs
2dc5371
PR#2765: kojira: check repo.json before deleting Merges #2765 https://pagure.io/koji/pull-request/2765 Fixes: #1321 https://pagure.io/koji/issue/1321 [kojira] If tag is renamed, old repos will never be deleted