From 903fd324edddfe7fcfccdc5f21886faa1568ae12 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= Date: Mon, 2 Mar 2026 15:04:31 +0100 Subject: [PATCH 1/2] Document `user-info` triagebot command --- src/triagebot/zulip-commands.md | 1 + 1 file changed, 1 insertion(+) diff --git a/src/triagebot/zulip-commands.md b/src/triagebot/zulip-commands.md index 070c0dd1..379e65e9 100644 --- a/src/triagebot/zulip-commands.md +++ b/src/triagebot/zulip-commands.md @@ -14,6 +14,7 @@ You can send these commands as a direct message to the [triagebot][triagebot-dm] - `whoami`: shows the Rust teams that you are a part of - `lookup github `: lookup the GitHub username of a user by their Zulip name - `lookup zulip `: lookup the Zulip name of a user by their GitHub username +- `user-info [--org ]`: show basic information about the given GitHub account, including its recent comments and PRs created in the given GitHub organization (`org` - `team-stats `: show the review workqueue statistics of all members of the given team - `team-stats `: show the review workqueue statistics of all members of the given team in the context of a given repository (i.e. considering that repository's `triagebot.toml`) From 6bd9bfad334dc8c7adfbae45134a0da7750db0e3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= Date: Mon, 2 Mar 2026 20:26:52 +0100 Subject: [PATCH 2/2] Update src/triagebot/zulip-commands.md Co-authored-by: Urgau <3616612+Urgau@users.noreply.github.com> --- src/triagebot/zulip-commands.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/triagebot/zulip-commands.md b/src/triagebot/zulip-commands.md index 379e65e9..964a1d1e 100644 --- a/src/triagebot/zulip-commands.md +++ b/src/triagebot/zulip-commands.md @@ -14,7 +14,7 @@ You can send these commands as a direct message to the [triagebot][triagebot-dm] - `whoami`: shows the Rust teams that you are a part of - `lookup github `: lookup the GitHub username of a user by their Zulip name - `lookup zulip `: lookup the Zulip name of a user by their GitHub username -- `user-info [--org ]`: show basic information about the given GitHub account, including its recent comments and PRs created in the given GitHub organization (`org` +- `user-info [--org ]`: show basic information about the given GitHub account, including its recent comments and PRs created in the given GitHub organization (`org`) - `team-stats `: show the review workqueue statistics of all members of the given team - `team-stats `: show the review workqueue statistics of all members of the given team in the context of a given repository (i.e. considering that repository's `triagebot.toml`)