Stream: zulip

Topic: invite to topic with mention


davidtwco (Oct 25 2018 at 21:22, on Zulip):

Does anyone know if pinging someone from a topic they aren’t subscribed to will add them to it?

RalfJ (Oct 26 2018 at 07:01, on Zulip):

Does anyone know if pinging someone from a topic they aren’t subscribed to will add them to it?

@davidtwco What happens is that Zulip tells you they are not subscribed and asks you if you want to subscribe them

nikomatsakis (Oct 26 2018 at 15:05, on Zulip):

I always find it hard to decide whether to do that :)

nikomatsakis (Oct 26 2018 at 15:05, on Zulip):

usually I just do it

nikomatsakis (Oct 26 2018 at 15:05, on Zulip):

well, specifically — if I am asking them a question

blitzerr (Oct 29 2018 at 17:18, on Zulip):

Is this the right palace to mention a zulip bug related to their Android app ?

davidtwco (Oct 29 2018 at 17:20, on Zulip):

http://chat.zulip.org/ is best.

Last update: Nov 17 2019 at 06:55UTC