Starting a triage team: looking for volunteers

Stream: mathlib4

[Michael Rothgang]

As mentioned here, I'd like to start a triage group --- just a group of volunteers who go through "stale" pull requests regularly and try to move them along for a bit. Often, just a bit of asking/clarifying can help. I've been doing such work on an ad hoc basis, but would really like to make this more organised now. Hence, my idea is to create a triage group. In practice, this could mean that each week, one person looks at the current list of stale PRs and tries to move some of them along. Say, for an hour or so. We take turns, so everybody only needs to do that every N weeks.

Feel free to comment here, or DM me if you're interested. If there are at least four people overall, I will commit to this for the next three months.

[Michael Rothgang]

Further remarks

• I can also imagine doing this together (e.g., two people together over chat or a video call). That may be more fun; whatever works :-)
• one could have a "triage team" channel, to ask for feedback on communication or thoughts on a particular PR
• I have ideas what "looking at a PR" can mean, so you don't need to re-invent the wheel.

[Yaël Dillies]

I've been reviving PRs myself from time to time, but as you are well aware I am chronically short on time

[Michael Rothgang]

... and I don't mean to distract you from reviewing, empowering other reviewers or blogging about simprocs :-)

[Bryan Gin-ge Chen]

I'd be happy to join this effort, though I also can't make promises as to the amount of time I can devote.

[Paul Lezeau]

I’d also be happy to help out on this:)