Stream: zulip

Topic: analytics


Rein Zustand⚙ (Dec 09 2018 at 14:10, on Zulip):

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)

Rein Zustand⚙ (Dec 09 2018 at 14:14, on Zulip):

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

RalfJ (Dec 09 2018 at 14:44, on Zulip):

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

Rein Zustand⚙ (Dec 10 2018 at 11:41, on Zulip):

@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.

Rein Zustand⚙ (Dec 10 2018 at 11:45, on Zulip):

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 update: Nov 17 2019 at 06:55UTC