-
-
Notifications
You must be signed in to change notification settings - Fork 5.7k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Search Bar for Issues and Pull Requests #379
Comments
Fire at will 😄 |
Makes sense for sure, but I'm also sure we need some kind of indexer or cache layer. |
@tboerger, indexer could be put in 1.x.x, we could implement it use database |
@lunny the only think in the database are issues. For choose search you are forced to search within the repo. |
I looked into using a full-text-index to speed up searches, specifically for Postgres. Postgres has support for full-text-indices (docs), but they do not seem to interact with On calls to Is there some way to get |
But maybe not all the database support full-text-index? Another way is to store index ourself, and we can have a task called index which will index issue titles and contents, wiki title and contents and codes? |
Maybe we can use |
I would also suggest a bleeve based index. |
I've begun looking into bleve. Just to double-check, the idea is to
Let know me if I'm missing something. |
If we use bleve, SQL query will be no need. I think one repo one index file is not good idea. I prefer one function one index. So that issue/pr index, repo index, wiki index. And in fact this work's emphasis is splitting words in different languages or mixed languages. |
If we don't have a SQL query, how can we support existing filters like tags, or issues created by a particular user? |
Add a search bar for searching issues and pull requests. This would be similar to Github's search bar.
I would be happy to implement this proposal, but just want to make sure there is interest before doing so.
The text was updated successfully, but these errors were encountered: