jcommelin / queueboard

Mathlib4 review and triage dashboard

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

Apache License 2.0

3 stars 4 forks source link

Threshold for staleness #6

Closed grunweg closed 3 months ago

grunweg commented 4 months ago

What are the current criteria for considering a PR as "stale"? I think this is an interesting question which may benefit from some discussion.

(I was personally thinking of "three days" for maintainer merge, as that allows for a weekend without activity. For other PRs, allowing e.g. a week seems appropriate: authors are often volunteers. There may be further arguments I have not thought about!)

grunweg commented 3 months ago

15 proposes changing the threshold for "stale new-contributor" PRs to a week.

I am fine with keeping "one day" for maintainer merge, with the understanding that things can slow down over the weekend.

Put differently: with #15 merged, this issue can be closed from my side.

grunweg commented 3 months ago

Let me close this issue for now; one can always reopen if there are reasons for changing this!