Learn more about these different git repos.
Other Git URLs
4ae23c1
PR#2477: hub: deleteBuild should skip deleted builds Merges #2477 https://pagure.io/koji/pull-request/2477 Fixes: #2475 https://pagure.io/koji/issue/2475 deleteBuild should skip already deleted builds