feat: track further kinds of PRs

jcommelin / queueboard

Mathlib4 review and triage dashboard

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

Apache License 2.0

3 stars 4 forks source link

Closed grunweg closed 3 months ago

grunweg commented 3 months ago

add a list of PRs waiting for help (labels please-adopt or needs-owner)
add a list of all PRs which have a merge conflict, but are otherwise ready for review
add a list of all PRs which have contradictory labels

Helps with #11.