searching Pull Request by title

[mbarinc]

• Gitea version (or commit ref): 1.11.4
• Git version: 2.23
• Operating system: Linux
• Database (use [x]):
  • PostgreSQL
  • MySQL
  • MSSQL
  • SQLite
• Can you reproduce the bug at https://try.gitea.io:
  • Yes (provide example URL)
  • No
  • Not relevant
• Log gist:

Description

I would like to propose to add searching pull request by title in the pulls page. If possible extend the search in the conversation too.
By default the serching is by title, but with regular expression extend to the conversation (for exampletitle:<keyword> conversation:<other keyword>

I think that would be a nice feature, it's possible?

Thanks

Screenshots

[6543]

@mbarinc so this is a feature request for extending the search on pulls?

[mbarinc]

@6543 not extend, but implement the search. Now there is not a search box in the pull request page.

[6543]

@mbarinc pleace look at https://try.gitea.io/ (just create a test acount) it runns with current master version.
we already have this :). and it will be in 1.12.0

[mbarinc]

Guys you are wonderful! I tried on https://try.gitea.io/ and it is exactly what I need! I will waiting the 1.12 stable version to install it on my server.