llvmbot tries to ping github teams when a relevant issue is opened, but it looks like it fails:
@llvm/issue-subscribers-backend-mipsis not highlighed, it’s just text, not a ping github honors)
Only project members are allowed to ping teams, and llvmbot is not a member (note the
Collaborator thingy). So to make those pings actually work, someone needs to add the bot as a project member on github =)
P.S. I’m not an LLVM contributor, so maybe this works as intended, but it looks wrong.