jcommelin / queueboard

Mathlib4 review and triage dashboard

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

Apache License 2.0

3 stars 3 forks source link

GH's "lastUpdated" is insufficient #33

Open jcommelin opened 1 month ago

jcommelin commented 1 month ago

GH’s view on this is polluted by bot activity, review requests, relabelling, etc

By requesting a review, a PR would go "under the radar" again. Not productive, because the request might be ingored.

grunweg commented 1 month ago

25 solves one half of this: it allows computing metrics such as "total time awaiting review" (variations of this are easily possible).

It needs some minor tweaks, which I know how to do and wouldn't take me long. The main missing ingredient is providing the required data: the code is designed to take a sequence of events "at time X, this label changed"; I'd be interested how to obtain such data from github.