Zulip Chat Archive

Stream: general

Topic: triage stream


view this post on Zulip 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.

view this post on Zulip Rob Lewis (Oct 30 2020 at 19:20):

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

view this post on Zulip 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: May 09 2021 at 19:11 UTC