channel events

Stream: ecosystem infrastructure

[Notification Bot]

Web-public channel created by Kim Morrison. Description:

No description.

[Kim Morrison]

I've just created this channel for public discussion of infrastructure that affects multiple repositories/projects. I've subscribed a somewhat arbitrary subset of the people already subscribed to the nightly-testing channel; please feel free to add or remove yourself.

[Kim Morrison]

(Note that there is a separate private channel "CI admins", for use when these discussions involve knowing or manipulating secrets, tokens, passwords, etc. That channel is populated by the membership of https://leanprover-community.github.io/teams/ci.html and, err, also me.)

[Jannis Limperg]

... and me until now, but I just left. :sweat_smile: I think this was a leftover from the good old days when I ran a primitive Mathlib benchmarking service.