search

jcommelin / queueboard

Mathlib4 review and triage dashboard
https://jcommelin.github.io/queueboard/
0 stars 3 forks source link

Include `auto-merge-after-CI` in stale ready-to-merge list #8

Closed grunweg closed 2 weeks ago

grunweg commented 1 month ago

We'd also like to track these, and the labels serve a comparable purpose, I think.

grunweg commented 1 month ago

(I don't know if you already do this: I would exclude PRs labelled awaiting-author from such a list. If having this combination is weird and should not happen: that would also be a good list of "mis-labelled PRs", hopefully very short.)