Stream: rustdoc

Topic: zulip ping group


view this post on Zulip Noah Lev (Jan 16 2021 at 20:13):

Should we add a T-rustdoc Zulip ping group? Most other teams have them.

view this post on Zulip Joshua Nelson (Jan 16 2021 at 21:52):

sounds good to me :) do you know how?

view this post on Zulip Noah Lev (Jan 17 2021 at 02:13):

Done!

view this post on Zulip Noah Lev (Jan 17 2021 at 02:14):

I added you. I'm not sure what the rest of the team's accounts are, so maybe you can add Guillaume and the others?

view this post on Zulip Noah Lev (Jan 17 2021 at 02:15):

It's @T-rustdoc by the way.

view this post on Zulip GuillaumeGomez (Jan 17 2021 at 13:08):

Same question. :)

view this post on Zulip Joshua Nelson (Jan 17 2021 at 15:14):

@GuillaumeGomez I added you and the rest of the team

view this post on Zulip GuillaumeGomez (Jan 17 2021 at 15:37):

Perfect, thanks!


Last updated: Oct 11 2021 at 22:34 UTC