That’s very nice to see. Thanks a lot for setting this up.
I have two questions:
- can the libera.chat
#ocamlchannel be linked / integrated into zulip? - is there a bridge (or bot) between discord and zulip?
- what is the story with the discord chat (Chat plugin activated, and adding more site categories) – can that be bridged as well?
I really don’t want to hangout in 4 different places, and would appreciate zulip (+ getting all the messages there).