New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add filtering and sorting to PR list. #722

grokys opened this Issue Dec 9, 2016 · 0 comments


1 participant

grokys commented Dec 9, 2016

When the pull request list is large, it can be hard to find the one you're looking for. It would be useful to have options for filtering (by number and title keyword) and sorting in the PR list.

@grokys grokys added the enhancement label Dec 9, 2016

This was referenced Dec 12, 2016

@shana shana added this to Ideas in Feature work planning Jan 31, 2017

@shana shana moved this from Big Ideas to Improvements in Feature work planning Jan 31, 2017

@grokys grokys closed this in #1312 Nov 20, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment