Learn more about these different git repos.
Other Git URLs
52ce529
PR#1124: tooltip for search field Merges #1124 https://pagure.io/koji/pull-request/1124 Fixes: #1122 https://pagure.io/koji/issue/1122 Better help for search field in webui