Notifications

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. Any Rust organization member can edit their Zulip 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
• acknowledge

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

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

This adds a new notification to the list.

• move

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

• meta <metadata...>

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

• as <command...>

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