jcommelin / queueboard

Mathlib4 review and triage dashboard
https://jcommelin.github.io/queueboard/
Apache License 2.0
3 stars 3 forks source link

feat: print statistics about the overall status of each PR #40

Closed grunweg closed 1 month ago

grunweg commented 1 month ago

This question came up on zulip: the review queue is only a fraction of the set of open PRs, so having better insight into the whole distribution of statusses is useful.

This PR