Display all PRs addressing technical debt

jcommelin / queueboard

Mathlib4 review and triage dashboard

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

Apache License 2.0

3 stars 4 forks source link

Display all PRs addressing technical debt #52

Closed grunweg closed 1 month ago

grunweg commented 2 months ago

Add a separate dashboard, of all such PRs, or perhaps all such PRs on the review queue. Proposed on zulip

grunweg commented 1 month ago

Added in da1eb9ed6c296a412c3fd264b932d6789799a7b7: the dashboard displays all PRs labelled tech debt which are neither in draft status nor labelled WIP.