Notifications
The notifications system helps a user keep track of GitHub notifications.
Usage
Each registered team member has a notifications page at:
https://triage.rust-lang.org/notifications?user=<github-username>
Whenever you are mentioned on GitHub with a direct mention (@user
) or via a team mention (@rust-lang/libs
) anywhere in the rust-lang organization, this will add an entry to the notifications list.
The notifications list 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>
(or short formack <url>
)acknowledge <idx>
(or short formack <idx>
)
These both acknowledge (and remove) a notification from the list.
acknowledge all
oracknowledge *
(or short formack all
orack *
)
This acknowledges and removes all notifications.
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 GitHub user.
Configuration
There is no configuration for this feature.
Implementation
See src/handlers/notification.rs
,
src/notification_listing.rs
, and
src/db/notifications.rs
.