search

jcommelin / queueboard

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

feat: track all PRs which are awaiting-zulip #39

Closed grunweg closed 1 month ago

grunweg commented 1 month ago

I could add a staleness threshold, if that is preferred.