feat: show all new contributors' PR on the review queue

jcommelin / queueboard

Mathlib4 review and triage dashboard

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

Apache License 2.0

3 stars 4 forks source link

feat: show all new contributors' PR on the review queue #19

Closed grunweg closed 3 months ago

grunweg commented 3 months ago

Also show all new contributors' PRs on the queue. I don't easily see how to remove them from the "stale new contributors" list --- but perhaps this duplication is not so bad anyway? Fixes #9. (If this duplication is bad, please file a new issue.)

jcommelin commented 3 months ago

I think the duplication is a good thing.