search

jcommelin / queueboard

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

Display number of PRs blocked by a given PR #51

Open grunweg opened 2 months ago

grunweg commented 2 months ago

and allow sorting by that number. Proposed by @jcommelin on zulip.