List all PRs I've interacted with

[jcommelin]

List of open PRs on the queue (not created by me) which I've ever commented on.

[grunweg]

Would be really useful to have, not difficult to implement: add a new hidden column, which is searchable. (Create this from the aggregate data, by going through all comments or reviews.) A basic version would just search this column normally, e.g. also returning the PRs created by the same user.

This is most useful combined with a custom search function #72 - which could allow subtracting the PR author from this.

[grunweg]

Status update

• stubborn PRs don't have this metadata downloaded yet: I've added it now, but it will take a while to percolate. I could force a re-download if necessary.
• the aggregate data .json files have this data field added now, as does the AggregatePRData structure

The remaining part is just in the frontend: add a new dashboard column, populate with these names, and hide it.

[grunweg]

Update: the basic version of this is implemented (and should be live soon). This means that searching for a user will now return all PRs which

• have the user as author or assignee,
• where the user ever commented or reviewed,
• where the user is mentioned in the PR description.

Disentangling them by providing more granular options or an advanced search like author:grunweg (if so desired) can happen in the future.

[grunweg]

I have implemented searching for author:grunweg or assignee:grunweg --- so the use case "find my own PRs/assigned PRs" is fixed now. Leaving this open in case we want to implement a "searching my name excludes PRs authored by or assigned to me" - this would be part of some advanced search feature.

Downgrading the priority since this part feels less pressing.