Learn more about these different git repos.
Other Git URLs
76d307d
PR#3492: Fix arch filter in list of hosts webUI Merges #3492 https://pagure.io/koji/pull-request/3492 Fixes: #3491 https://pagure.io/koji/issue/3491 filter arches returns wrong list of hosts on webUI