Skip to content

Conversation

@jieyouxu
Copy link
Member

@jieyouxu jieyouxu commented Dec 1, 2025

Their github username changed.
@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 Dec 1, 2025
@jieyouxu jieyouxu mentioned this pull request Dec 1, 2025
@github-actions
Copy link

github-actions bot commented Dec 1, 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

@marcoieni
Copy link
Member

approved since it's blocking CI

@marcoieni marcoieni added this pull request to the merge queue Dec 1, 2025
Merged via the queue into rust-lang:main with commit dc435ef Dec 1, 2025
3 checks passed
@jieyouxu jieyouxu deleted the username-change branch December 1, 2025 23:38
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