feat: improve query for unlabelled PRs; add list of PRs with a bad title

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

filter the query of PRs without an area label to feature PRs For, say, a PR performing a chore across mathlib, not having an area label can actually make sense.
add a list of PRs whose title does not start with one of the common abbreviation

Both lists ignore WIP and draft PRs: once a PR is marked ready, the idea is that it should be title appropriately.

grunweg commented 1 month ago

I should add: local testing of just the script shows this works, and seems to generate reasonable output.