Skip to content
David Tolnay edited this page Feb 20, 2020 · 4 revisions

Each registered team member has a notifications page at https://triagebot.infra.rust-lang.org/notifications?user=<gh-username>.

This page is populated from direct pings (@user) and team pings (@rust-lang/libs) across the rust-lang organization.

It can also be edited via Zulip by private-messaging triagebot. Any Rust organization member can edit their notifications page, or pages of other Rust organization team members. To do so, the editor must have a zulip-id listed in their people/username.toml file in the team repository. The bot will tell you which ID to use when talking to it for the first time; please r? @Mark-Simulacrum on PRs adding Zulip IDs.

The following commands are supported:

  • acknowledge <url>
  • acknowledge <idx>

These both acknowledge (and remove) a notification from the list.

  • add <url> <description... (multiple words)>

This adds a new notification to the list.

  • move <from> <to>

This moves the notification at index from to the index to.

  • meta <idx> <metadata...>

This adds some text as a sub-bullet to the notification at idx. If the metadata is empty, the text is removed.

  • as <github username> <command...>

This executes any of the above commands as if you were the other GH user.

Clone this wiki locally