searching Pull Request by title #5194

New Issue

GiteaMirror · 2025-11-02T06:17:25-06:00

GiteaMirror commented

2025-11-02 06:17:25 -06:00

Originally created by @mbarinc on GitHub (Apr 5, 2020).

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

Originally created by @mbarinc on GitHub (Apr 5, 2020). - Gitea version (or commit ref): 1.11.4 - Git version: 2.23 - Operating system: Linux - Database (use `[x]`): - [ ] PostgreSQL - [x] 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 example`title:<keyword>` `conversation:<other keyword>` I think that would be a nice feature, it's possible? Thanks ## Screenshots ![PR_search](https://user-images.githubusercontent.com/3716953/78509709-6c0cde00-7790-11ea-9545-32f18b10715f.png)

GiteaMirror added the type/proposal label 2025-11-02 06:17:25 -06:00

GiteaMirror closed this issue

2025-11-02 06:17:25 -06:00

GiteaMirror commented

2025-11-02 06:17:25 -06:00

@6543 commented on GitHub (Apr 6, 2020):

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

@6543 commented on GitHub (Apr 6, 2020): @mbarinc so this is a feature request for **extending** the search on pulls?

GiteaMirror commented

2025-11-02 06:17:26 -06:00

@mbarinc commented on GitHub (Apr 6, 2020):

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

@mbarinc commented on GitHub (Apr 6, 2020): @6543 not extend, but implement the search. Now there is not a search box in the pull request page.

GiteaMirror commented

2025-11-02 06:17:26 -06:00

@6543 commented on GitHub (Apr 6, 2020):

@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

@6543 commented on GitHub (Apr 6, 2020): @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

GiteaMirror commented

2025-11-02 06:17:26 -06:00

@mbarinc commented on GitHub (Apr 7, 2020):

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.

@mbarinc commented on GitHub (Apr 7, 2020): 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.

GiteaMirror referenced this issue

2025-11-02 15:03:01 -06:00

[PR #5194] [MERGED] Update TRANSLATORS #17689

Sign in to join this conversation.

Branches Tags

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: github-starred/gitea#5194