Learn more about these different git repos.
Other Git URLs
Searching for https://pagure.io/copr/copr/issues?status=Open&search_pattern=HTTPSConnectionPool&close_status=
It shows no results, while I'd expect it to show at least: https://pagure.io/copr/copr/issue/1205
The search url is filtering just open issues and 1205 is closed. Anyhow, https://pagure.io/copr/copr/issues?status=All&search_pattern=HTTPSConnectionPool does not show it either and it should
Metadata Update from @jlanda: - Issue tagged with: bug
This is because the search you're doing here isn't a full-text search. The basic search only hit the titles. You can do full-text search: https://docs.pagure.org/pagure/usage/tips_tricks.html#search-the-comments-of-issues Which does return the ticket you are looking for: https://pagure.io/copr/copr/issues?status=all&search_pattern=content%3AHTTPSConnectionPool&close_status=
Indeed, thanks! My advice would be: make sure that this cool feature is clearly visible, without RTFM :-)
E.g. edit box could be saying search in titles.
search in titles
Login to comment on this ticket.