Lists and filters and snoozing pull requests, oh my! This is an app for managing your notifications on GitHub by way of filtering issues and pull requests that are of interest to you.
Could have a select box that toggles your selection. Provide a menu with extra select options, like select all issues, all closed issues, all PRs, all merged PRs, etc. Available options could be based on the tasks currently shown.
Like in Gmail:
Could have a select box that toggles your selection. Provide a menu with extra select options, like select all issues, all closed issues, all PRs, all merged PRs, etc. Available options could be based on the tasks currently shown.