Zulip Chat Archive

Stream: general

Topic: triage stream

Rob Lewis (Oct 30 2020 at 19:20):

We have a new stream: #triage ! Once a day around 2pm UTC, a friendly bot will randomly choose an old PR and an old issue from mathlib and post them in that stream. The idea is to bring a bit of attention to work that might fall down the queue and off people's radars.

Rob Lewis (Oct 30 2020 at 19:20):

Please follow the stream and discuss as the bot prompts you to!

Rob Lewis (Nov 03 2020 at 14:20):

A reminder, if you didn't see this before. Random Issue Bot is steadily posting things to #triage for discussion, come join the fun.

Last updated: Dec 20 2023 at 11:08 UTC