feat: allow filtering each dashboard

jcommelin / queueboard

Mathlib4 review and triage dashboard

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

Apache License 2.0

3 stars 3 forks source link

Closed grunweg closed 1 month ago

grunweg commented 1 month ago

This allows manually filtering the PR labels (or title) by just entering (part of) the label name. Fixes #3.