diff options
| author | Brecht Van Lommel | 2023-02-25 03:55:50 +0100 |
|---|---|---|
| committer | GitHub | 2023-02-24 21:55:50 -0500 |
| commit | 10cdcb9ea8077098921d72720f9f36fcfd950452 (patch) | |
| tree | e966411cf1bbc62bf7059deaa9238c14c0a9a04d /options | |
| parent | 843f81113ebe71fd725210c5a382268333865cc7 (diff) | |
Add "Reviewed by you" filter for pull requests (#22927)
This includes pull requests that you approved, requested changes or
commented on. Currently such pull requests are not visible in any of the
filters on /pulls, while they may need further action like merging, or
prodding the author or reviewers.
Especially when working with a large team on a repository it's helpful
to get a full overview of pull requests that may need your attention,
without having to sift through the complete list.
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 c818b0dcc..2109950ca 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -1323,6 +1323,7 @@ issues.filter_type.assigned_to_you = Assigned to you issues.filter_type.created_by_you = Created by you issues.filter_type.mentioning_you = Mentioning you issues.filter_type.review_requested = Review requested +issues.filter_type.reviewed_by_you = Reviewed by you issues.filter_sort = Sort issues.filter_sort.latest = Newest issues.filter_sort.oldest = Oldest |