@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.
Hm so I think it's because you're not on a Rust "team team"
I had the permission until today though
we should definitely include wg-prioritization like we do wg-triage though
that does seem odd
This should already be the case
let me see if there's something in logs
yeah I see what you mean
I'm not seeing anything in logs
I'll push up some debugging for that function and let me know if it happens again
Thanks for your help!