Zulip Chat Archive

Stream: general

Topic: leanprover-community-bot-assistant

Yaël Dillies (Jan 06 2022 at 12:48):

Won't anyone introduce us to @leanprover-community-bot-assistant? :grinning:

Gabriel Ebner (Jan 06 2022 at 13:49):

Mathlib has grown so big that that leanprover-community-bot together with the part-time github-actions[bot] could no longer keep up with all of the administrative tasks. We are happy to welcome leanprover-community-bot-assistant to the team, who will support the project by managing issue labels on github. #11274

Anne Baanen (Jan 06 2022 at 13:58):

Don't forget our beloved gatekeeper :bors:

Last updated: Dec 20 2023 at 11:08 UTC