Skip to content

search: support -repo: in global search optimization

Administrator requested to merge k/zoekt-global-query-shape into main

Created by: keegancsmith

For global searches with -repo: filters we can ask zoekt to do the filtering for us using the recently introduced query.RepoRegexp.

Before this commit -repo: filters would generate very large lists of repositories to search. They are usually generated by code-intel for finding references in other repos. This now includes -repo: in our global search optimizations.

Co-authored-by: @eseliger

Merge request reports