diff options
| author | wxiaoguang <wxiaoguang@gmail.com> | 2024-03-25 00:05:00 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-24 17:05:00 +0100 |
| commit | 4734d43e1422da04f9ff79ea0212f7e9472b55a1 (patch) | |
| tree | d6ba422cc7b7f942d817a83836da426edd007ec4 /options | |
| parent | 90a4f9a49eecc4b672df0c29f5034be25244191c (diff) | |
| download | gitea-4734d43e1422da04f9ff79ea0212f7e9472b55a1.tar.gz gitea-4734d43e1422da04f9ff79ea0212f7e9472b55a1.zip | |
Support repo code search without setting up an indexer (#29998)
By using git's ability, end users (especially small instance users) do
not need to enable the indexer, they could also benefit from the code
searching feature.
Fix #29996
---------
Co-authored-by: silverwind <me@silverwind.io>
Diffstat (limited to 'options')
| -rw-r--r-- | options/locale/locale_en-US.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index 4c52c4eeed..07082f99ae 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -172,6 +172,7 @@ org_kind = Search orgs... team_kind = Search teams... code_kind = Search code... code_search_unavailable = Code search is currently not available. Please contact the site administrator. +code_search_by_git_grep = Current code search results are provided by "git grep". There might be better results if site administrator enables Repository Indexer. package_kind = Search packages... project_kind = Search projects... branch_kind = Search branches... |