Learn more about these different git repos.
Other Git URLs
The search on the issues page is case-sensitive. It should not be case sensitive.
<img alt="case-search1.png" src="/pagure/issue/raw/files/41a711108c3910fc62ee83d6c2207fe9bdcd214c1ee28f47a6a1e360a69fd223-case-search1.png" />
<img alt="case-search2.png" src="/pagure/issue/raw/files/8fbb74e85d4052673237548c1294a0682f6525a7cfe92092cef14ea75ba05936-case-search2.png" />
If you don't mind I'll take this one, it's a one-liner and I'm planning on fixing it while doing #1419.
Hope this is fine for you :)
Commit ea7cba9 fixes this issue
@pingou changed the status to Closed
Closed
Login to comment on this ticket.