Learn more about these different git repos.
Other Git URLs
2f4688d
PR#2334: hub: fix index so it gets used by planner Merges #2334 https://pagure.io/koji/pull-request/2334 Fixes: #2333 https://pagure.io/koji/issue/2333 hub: unused index sessions_active_and_recent