Skip to content

Conversation

@tshepang
Copy link
Member

@tshepang tshepang commented Oct 9, 2025

No description provided.

@jieyouxu jieyouxu added needs-team-repo-admin-review This change requires one of the `team-repo-admins` to review. S-waiting-on-review Status: waiting on review from a team/WG/PG lead, an infra-admin, and/or a team-repo-admin. labels Oct 9, 2025
Copy link
Member

@jieyouxu jieyouxu left a comment

Choose a reason for hiding this comment

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

Obvious typo / formatting nit

@jieyouxu jieyouxu added this pull request to the merge queue Oct 9, 2025
@github-actions
Copy link

github-actions bot commented Oct 9, 2025

Dry-run check results

[WARN  sync_team] sync-team is running in dry mode, no changes will be applied.
[INFO  sync_team] synchronizing github

Merged via the queue into rust-lang:master with commit 04441b5 Oct 9, 2025
3 checks passed
@tshepang tshepang deleted the patch-2 branch October 9, 2025 07:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs-team-repo-admin-review This change requires one of the `team-repo-admins` to review. S-waiting-on-review Status: waiting on review from a team/WG/PG lead, an infra-admin, and/or a team-repo-admin.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants