Stream: zulip

Topic: analytics


view this post on Zulip Rein Zustand⚙ (Dec 09 2018 at 14:10):

Btw, you can monitor the stats of the realm at https://rust-lang.zulipchat.com/stats. Based on the stats, no bots have been active unfortunately :( (I initially wanted to add a bot that relays messages from/to chat.zulip.org on this stream)

view this post on Zulip Rein Zustand⚙ (Dec 09 2018 at 14:14):

Also, I can bridge all the IRC channels to a stream "IRC" where each channel occupies a topic. The bridge is bi-directional.

view this post on Zulip RalfJ (Dec 09 2018 at 14:44):

Also, I can bridge all the IRC channels to a stream "IRC" where each channel occupies a topic. The bridge is bi-directional.

that sounds pretty cool

view this post on Zulip Rein Zustand⚙ (Dec 10 2018 at 11:41):

@RalfJ I can't deploy it because bots are disabled in this realm though. @nikomatsakis what do you think of opening the floodgates for bots? Alternatively, the script that will be used for the bridge is at https://github.com/rht/python-zulip-api/tree/aio-irc2/zulip/integrations/bridge_with_irc (this is patched from the upstream which doesn't have bi-directional working). I have used it for mirroring #git for months at chat.zulip.org.

view this post on Zulip Rein Zustand⚙ (Dec 10 2018 at 11:45):

From https://wiki.mozilla.org/IRC#Project_Channels, the list would be #rust, #rust-beginners, #rust-gamedev, #rust-internals, #rust-osdev, #servo, #rust-fr.


Last updated: Oct 11 2021 at 22:34 UTC