Negative and multi-select PR filters like Linear

[vcntttt]

Problem

The Pull Requests page aggregates every connected environment and project by default.

I keep the t3code repo added as a reference to ask questions about how the app works. That fills the PR list with t3code PRs and hides my real work.

Current filters cannot express “everything except t3code”:

• Project, Host, Server, State and Involvement are single-select.
• Only All or one value is possible.
• There is no is not operator.

So exclusion is impossible when I work with several repos plus one reference repo.

Proposal inspired by Linear

Linear lets each filter use is / is not, like Status is not Triage.

Bring the same model to Pull Requests:

1. Multi-select for filter groups such as Project, Host and Server.
2. Operator is / is not per filter group.
3. Persist the selection in the URL so the view is shareable.
4. Skip excluded environments on the request, to save reads.

Current state found in code

• apps/web/src/components/pullRequest/PullRequestListFilters.tsx uses MenuRadioGroup for Project, with ALL_PROJECTS_VALUE or one project.
• Labels already supports multi-select with checkboxes plus negative search via -label:.
• packages/contracts/src/pullRequest.ts: PullRequestListFilters has excludedLabels, but no excluded project concept.
• PullRequestListInput supports projectIds, but there is no exclusion field.

Example

Keep t3code as a reference project for questions, work daily across several work repos, and set Project is not [t3code] once to keep a clean PR list.

Related

• Sidebar: let the project scope picker hold more than one project #10500 covers multi-select for the sidebar project scope picker for threads. This request is for the Pull Requests page, plus is not exclusion.