Stream: t-compiler/wg-meta

Topic: triagebot ping


Santiago Pastorino (Oct 12 2019 at 21:24, on Zulip):

https://github.com/rust-lang/triagebot/issues/169 great @simulacrum :clap: :clap:

simulacrum (Oct 12 2019 at 21:25, on Zulip):

we fall back on pinging individuals if the team is not sync'd, anyone can ping, and only configured teams can be pinged

simulacrum (Oct 12 2019 at 21:25, on Zulip):

we will sort of semi-silently fail if the team is sync'd but never to the current org but that shouldn't be a problem for our use I think

Last update: Nov 11 2019 at 23:20UTC