Stream: zulip

Topic: invite to topic with mention


view this post on Zulip davidtwco (Oct 25 2018 at 21:22):

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

view this post on Zulip RalfJ (Oct 26 2018 at 07:01):

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

view this post on Zulip nikomatsakis (Oct 26 2018 at 15:05):

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

view this post on Zulip nikomatsakis (Oct 26 2018 at 15:05):

usually I just do it

view this post on Zulip nikomatsakis (Oct 26 2018 at 15:05):

well, specifically — if I am asking them a question

view this post on Zulip blitzerr (Oct 29 2018 at 17:18):

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

view this post on Zulip davidtwco (Oct 29 2018 at 17:20):

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


Last updated: Oct 11 2021 at 22:34 UTC