Zulip Chat Archive
Stream: Leaning In!
Topic: channel events
Notification Bot (Jan 04 2025 at 06:57):
Web-public channel created by Johan Commelin. Description:
A get-together for the Lean community in EU/DE/Berlin. Pairs nicely with BOBKonf (https://bobkonf.de/)
Notification Bot (Aug 20 2025 at 01:03):
Kim Morrison renamed channel Leaning In! to Leaning In! 2025.
Jesse Alama (Oct 28 2025 at 15:11):
Notification Bot said:
Kim Morrison renamed channel Leaning In! to Leaning In! 2025.
Can we set up a Leaning In! 2026 channel?
Johan Commelin (Oct 28 2025 at 15:16):
@Jesse Alama What do you think of reusing this one? We can just remove the year from the name.
Jesse Alama (Oct 30 2025 at 09:45):
Johan Commelin said:
Jesse Alama What do you think of reusing this one? We can just remove the year from the name.
That sounds good -- can you rename the channel? I've tried updating the channel settings but I think (?) I can't edit the name.
Notification Bot (Oct 30 2025 at 10:11):
Michael Rothgang renamed channel Leaning In! 2025 to Leaning In!.
Michael Rothgang (Oct 30 2025 at 10:12):
Did this do the trick? If not, DM me and I can make and follow-up changes.
Jesse Alama (Oct 30 2025 at 10:12):
Works, thanks!
Last updated: Dec 20 2025 at 21:32 UTC