diff options
| author | puni9869 <80308335+puni9869@users.noreply.github.com> | 2023-08-27 15:02:54 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-27 09:32:54 +0000 |
| commit | e0a796a6410f7a540e2bc16ac5e386305c9321d1 (patch) | |
| tree | cb4172c77155ac6162475e9567102cf83933df80 /options | |
| parent | 43652746f2929aeb53ec1e575c3691050755a0b5 (diff) | |
| download | gitea-e0a796a6410f7a540e2bc16ac5e386305c9321d1.tar.gz gitea-e0a796a6410f7a540e2bc16ac5e386305c9321d1.zip | |
Adding hint `Archived` to archive label. (#26741)
Followup https://github.com/go-gitea/gitea/pull/26478
## Archived labels UI
Changed:
* Enhanced the Filtered UI page to seamlessly incorporate a list of
archived labels.
Outsourced:
* Defer the implementation of specialized handling for archived labels
to upcoming pull requests. This step will be undertaken subsequent to
the successful merge of this pull request.
Screenshots
---
Part of https://github.com/go-gitea/gitea/issues/25237
---------
Co-authored-by: Giteabot <teabot@gitea.io>
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 abb98c608e..43930b02ad 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -317,6 +317,7 @@ filter_by_team_repositories = Filter by team repositories feed_of = Feed of "%s" show_archived = Archived +archived = Archived show_both_archived_unarchived = Showing both archived and unarchived show_only_archived = Showing only archived show_only_unarchived = Showing only unarchived |