Stream: t-release/triagebot

Topic: Unable to use the `ping` command


LeSeulArtichaut (Jul 26 2020 at 20:55, on Zulip):

@simulacrum I tried to ping cleanup in this comment, but @rustbot denied with the "Only Rust team members can ping teams.". Was this only caused by a spurious failure, or is this a bug that could have been introduced by mistake? I checked the code and I couldn't see an obvious culprit, so I'd guess this was spurious, but I still wanted to report the incident.

simulacrum (Jul 26 2020 at 20:57, on Zulip):

Hm so I think it's because you're not on a Rust "team team"

LeSeulArtichaut (Jul 26 2020 at 20:57, on Zulip):

I had the permission until today though

simulacrum (Jul 26 2020 at 20:57, on Zulip):

we should definitely include wg-prioritization like we do wg-triage though

simulacrum (Jul 26 2020 at 20:57, on Zulip):

that does seem odd

LeSeulArtichaut (Jul 26 2020 at 20:57, on Zulip):

This should already be the case

simulacrum (Jul 26 2020 at 20:57, on Zulip):

let me see if there's something in logs

LeSeulArtichaut (Jul 26 2020 at 20:57, on Zulip):

See https://github.com/rust-lang/triagebot/blob/2f0fddb31ba53f425785e491067dc5158652696e/src/github.rs#L177-L191

simulacrum (Jul 26 2020 at 20:58, on Zulip):

yeah I see what you mean

simulacrum (Jul 26 2020 at 21:15, on Zulip):

I'm not seeing anything in logs

simulacrum (Jul 26 2020 at 21:15, on Zulip):

I'll push up some debugging for that function and let me know if it happens again

LeSeulArtichaut (Jul 26 2020 at 21:16, on Zulip):

Thanks for your help!

Last update: Sep 28 2020 at 16:45UTC