jcommelin / queueboard

Mathlib4 review and triage dashboard

https://jcommelin.github.io/queueboard/

3 stars 3 forks source link

Allow sorting PRs by "total number of days looking for review"? #7

Open grunweg opened 1 month ago

grunweg commented 1 month ago

IIUC, the current sorting goes by "last updated". This penalises PRs which occur frequent merge conflicts. A better metric could be the "total time waiting on review"? (Can you get a history of github statuses and labels for a PR, and compute it from there?)

grunweg commented 1 month ago

Though, if the queue has faster turnaround these days, perhaps this is less urgent.

In any case: PRs which waited very long would be nice to surface, to ensure they are not stalled for the wrong reasons.

jcommelin commented 1 month ago

It seems to be tricky to do this with a simple gh api query. But I would love to support this kind of functionality. So it's definitely on the roadmap.

grunweg commented 3 weeks ago

25 (in progress) implements this from the "computation" side: given the relevant input data (a list of events such as "label XY" added/removed with time stamps), it computes how long a PR has been awaiting review. The tricky part is getting this data from github.

grunweg commented 3 weeks ago

Cross-referencing #33