diff options
| author | zeripath <art27@cantab.net> | 2021-12-16 15:55:12 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-16 23:55:12 +0800 |
| commit | e0e3ba6c12c4094dfb1ff0dc5f290214cf9bfe54 (patch) | |
| tree | 4284180ee25635036097234172f748718cb23bac /options | |
| parent | 3a3cbcfdf077242cf788d8c9a9ac68bd77cb4ff5 (diff) | |
| download | gitea-e0e3ba6c12c4094dfb1ff0dc5f290214cf9bfe54.tar.gz gitea-e0e3ba6c12c4094dfb1ff0dc5f290214cf9bfe54.zip | |
Add Reindex buttons to repository settings page (#17494)
This PR adds reindexing request buttons to the repository settings page.
Fix #3796
Signed-off-by: Andrew Thornton <art27@cantab.net>
Co-authored-by: wxiaoguang <wxiaoguang@gmail.com>
Co-authored-by: Lunny Xiao <xiaolunwen@gmail.com>
Diffstat (limited to 'options')
| -rw-r--r-- | options/locale/locale_en-US.ini | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index 3f180ddbec..685b219ce1 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -1726,6 +1726,12 @@ settings.pulls.default_delete_branch_after_merge = Delete pull request branch af settings.projects_desc = Enable Repository Projects settings.admin_settings = Administrator Settings settings.admin_enable_health_check = Enable Repository Health Checks (git fsck) +settings.admin_code_indexer = Code Indexer +settings.admin_stats_indexer = Code Statistics Indexer +settings.admin_indexer_commit_sha = Last Indexed SHA +settings.admin_indexer_unindexed = Unindexed +settings.reindex_button = Add to Reindex Queue +settings.reindex_requested=Reindex Requested settings.admin_enable_close_issues_via_commit_in_any_branch = Close an issue via a commit made in a non default branch settings.danger_zone = Danger Zone settings.new_owner_has_same_repo = The new owner already has a repository with same name. Please choose another name. |