Pinging

The bot can be used to "ping" teams of people that do not have corresponding Github teams. This is useful because sometimes we want to keep groups of people that we can notify but we don't want to add all the members in those groups to the Github org, as that would imply that they are members of the Rust team (for example, Github would decorate their names with "member" and so forth). The compiler team uses this feature for their ICE-breaker teams.

When a team is pinged, we will both post a message to the issue and add a label. The message will include a cc line that @-mentions all members of the team.

Teams that can be pinged

To be pinged, teams have to be created in the Rust team repository. Frequently those teams will be marked as marker-team, meaning that they do not appear on the website. The LLVM ICE-breaker team is an example.

Configuration

To enable the team XXX to be pinged, you have to add section to the triagebot.toml file at the root of a repository, like so:

[ping.XXX]
message = """\
Put your message here. It will be added as a Github comment,
so it can include Markdown and other markup.
"""
label = "help wanted"

This configuration would post the given message and also add the label help wanted to the issue.

Check out the rust-lang/rust configuration for an up-to-date example.

Pinging teams

To ping the team XXX, simply leave a comment with the command:

@rustbot ping XXX