Zulip Chat Archive

Stream: general

Topic: Bots for zulip?


view this post on Zulip Moses Schönfinkel (Mar 20 2018 at 22:34):

Is it possible to have bots listening to Zulip channels?

view this post on Zulip Simon Hudon (Mar 20 2018 at 22:35):

Are you thinking of having a Lean server respond to some commands?

view this post on Zulip Moses Schönfinkel (Mar 20 2018 at 22:35):

I see your crystal ball is now working.

view this post on Zulip Patrick Massot (Mar 20 2018 at 22:35):

Yes it is

view this post on Zulip Patrick Massot (Mar 20 2018 at 22:36):

https://zulipchat.com/api/running-bots

view this post on Zulip Patrick Massot (Mar 20 2018 at 22:37):

I can see this octopus is really popular nowadays

view this post on Zulip Simon Hudon (Mar 20 2018 at 22:37):

Actually, I think I'm posting most of them :P

view this post on Zulip Moses Schönfinkel (Mar 20 2018 at 22:38):

I find them amusing. In general, the reactions make the chat a little bit happier!

view this post on Zulip Simon Hudon (Mar 20 2018 at 22:39):

Me too! And it doesn't take space in the thread for applauding stuff you like

view this post on Zulip Moses Schönfinkel (Mar 20 2018 at 22:40):

Indeed. It's something like "starring" a message at times and someone just casually perusing the conversation has a greater chance of stumbling upon something useful and / or funny.


Last updated: May 14 2021 at 00:42 UTC