Skip to content

Onboarding: triagebot mentions are helpful#916

Merged
jyn514 merged 2 commits into
rust-lang:masterfrom
lolbinarycat:onboarding-triagebot-mentions
May 21, 2026
Merged

Onboarding: triagebot mentions are helpful#916
jyn514 merged 2 commits into
rust-lang:masterfrom
lolbinarycat:onboarding-triagebot-mentions

Conversation

@lolbinarycat
Copy link
Copy Markdown
Contributor

@lolbinarycat lolbinarycat commented Jul 9, 2025

These help contributors be more involved in the review process without all of the responsibilities and permissions of being on a team.

Putting this under the section about joining a team because of how other projects use "team" mainly as "list of people who get pinged about changes to certain files" instead of being tied to merge permissions and such, and I think it's good to tell anyone coming from those projects that we have a different system for notifying relevant people on PRs.

Rendered

These help contributors be more involved in the review process
without all of the responsibilities and permissions of
being on a team.
@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Jul 9, 2025

r? @Mark-Simulacrum

rustbot has assigned @Mark-Simulacrum.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 9, 2025
Comment thread src/onboarding.md Outdated
Comment thread src/onboarding.md Outdated
Comment thread src/onboarding.md Outdated
Co-authored-by: cyrgani <85427285+cyrgani@users.noreply.github.com>
Copy link
Copy Markdown
Member

@jyn514 jyn514 left a comment

Choose a reason for hiding this comment

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

@jyn514 jyn514 merged commit dbe09a4 into rust-lang:master May 21, 2026
1 check passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 21, 2026
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.

5 participants