GitHub (Feb 21 2020 at 18:00): GitHub (Feb 21 2020 at 18:00):bnjbvr commented on Issue #819:
We'll be using Zulip for instant communication. The IRC room on Mozilla's IRC network will disappear with the rest of the IRC network (to be shut down soon), and the Gitter room is no longer an official place. Yay for a single instant communication platform!
GitHub (Feb 28 2020 at 23:26):alexcrichton transferred Issue #819:
This issue should serve as a central point of communication with Cranelift users / embedders, because we don't have one yet.
For the record, we have two real-time chat systems being used at the moment:
- IRC (
irc.mozilla.orgin channel#cranelift)- Gitter room
In the future, it is likely that a single real-time chat system is going to be used. The choice of which one is currently deferred to Mozilla, which is in the process of switching over from IRC to something else.
If you're a Cranelift embedder / user, and want to stay aware of organizational changes / security issues, you're invited to subscribe to this issue. Also, don't hesitate to say hi! :slightly_smiling_face:
Last updated: Dec 23 2024 at 13:07 UTC