-
Notifications
You must be signed in to change notification settings - Fork 74
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.
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.
To enable the team XXX (or "someothername") to be pinged, you have to add section to the triagebot.toml file at the root of a repository, like so:
[ping.XXX]
alias = ["someothername"]
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.
To ping the team XXX, simply leave a comment with the command:
@rustbot ping XXX