Skip to content

Rename the comments command to user-info and extend it#2317

Merged
Kobzol merged 10 commits intorust-lang:masterfrom
Kobzol:user-stats
Mar 2, 2026
Merged

Rename the comments command to user-info and extend it#2317
Kobzol merged 10 commits intorust-lang:masterfrom
Kobzol:user-stats

Conversation

@Kobzol
Copy link
Member

@Kobzol Kobzol commented Mar 1, 2026

The compiler team has been discussing ways of quickly gathering some basic information about a GitHub account. This PR extends the previous comments Zulip triagebot command and turns it into a more general user-info command, which shows recent activity (PRs, repository) and account creation date for the given GitHub user account.

Here is how it currently looks like for my account:

User kobzol activity

  • Account created at: 2013-05-27 10:14 UTC (4661 days ago)
  • Public repository count: 270
  • PRs created in past 7 days: 14
    • 3 open, 0 closed, 11 merged
    • Last 100 PRs created in the past 25 day(s)
    • PRs opened in 7 repo(s)
    • PRs opened in 3 organization(s) (It4innovations, mrlvsb, rust-lang)
  • rust-lang PRs created in past 7 days: 7
    • Last 100 rust-lang PRs created in the past 40 day(s)
  • Repos created in past 7 days: 0
    • Out of that, 0 are forks

Recent comments in rust-lang:

Copy link
Member

@Urgau Urgau left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Some preliminary feedback. We have some wording to figure out in Zulip.

View changes since this review

Comment on lines -1513 to +1682
.replace("`", "");
// Avoid things that could interact with the rest of the Markdown message.
// And avoid and @ pings (in case the text is outputted in a public Zulip stream).
.replace("`", "")
.replace("@", "");
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We should think about using pulldown_cmark to purely extract the text, instead of doing those hacky stripping.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah, good point. I'll do it later.

@rustbot
Copy link
Collaborator

rustbot commented Mar 2, 2026

This PR was rebased onto a different master commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

@Kobzol Kobzol enabled auto-merge March 2, 2026 13:21
@Kobzol Kobzol added this pull request to the merge queue Mar 2, 2026
@Kobzol Kobzol removed this pull request from the merge queue due to a manual request Mar 2, 2026
@Kobzol Kobzol enabled auto-merge March 2, 2026 13:25
@Kobzol
Copy link
Member Author

Kobzol commented Mar 2, 2026

Found some bugs when testing this on a user account outside of the rust-lang organization. Let's get this out.

@Kobzol Kobzol added this pull request to the merge queue Mar 2, 2026
Merged via the queue into rust-lang:master with commit 92aad73 Mar 2, 2026
3 checks passed
@Kobzol Kobzol deleted the user-stats branch March 2, 2026 13:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants