diff options
| author | qwerty287 <80460567+qwerty287@users.noreply.github.com> | 2022-09-29 21:09:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-29 22:09:14 +0300 |
| commit | 08609d439d81f65c4f691609acaa29c1c7e96757 (patch) | |
| tree | e1502d6573ba91588d4aeafa57e0c9ed69c179a1 /options | |
| parent | 3b6a7e5c8a994836d034adde4277b50ade020d1b (diff) | |
| download | gitea-08609d439d81f65c4f691609acaa29c1c7e96757.tar.gz gitea-08609d439d81f65c4f691609acaa29c1c7e96757.zip | |
Add pages to view watched repos and subscribed issues/PRs (#17156)
Adds GitHub-like pages to view watched repos and subscribed issues/PRs
This is my second try to fix this, but it is better than the first since
it doesn't uses a filter option which could be slow when accessing
`/issues` or `/pulls` and it shows both pulls and issues (the first try
is #17053).
Closes #16111
Replaces and closes #17053
Co-authored-by: Lauris BH <lauris@nix.lv>
Co-authored-by: 6543 <6543@obermui.de>
Co-authored-by: wxiaoguang <wxiaoguang@gmail.com>
Diffstat (limited to 'options')
| -rw-r--r-- | options/locale/locale_en-US.ini | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index 991ebf344f..1dba1d71d8 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -3034,6 +3034,9 @@ pin = Pin notification mark_as_read = Mark as read mark_as_unread = Mark as unread mark_all_as_read = Mark all as read +subscriptions = Subscriptions +watching = Watching +no_subscriptions = No subscriptions [gpg] default_key=Signed with default key |