Skip to content

Conversation

adamgreig
Copy link
Contributor

Copy link

github-actions bot commented Apr 18, 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

@Mark-Simulacrum
Copy link
Member

Needs conflicts resolved but happy to merge after that.

@jieyouxu jieyouxu added needs-team-repo-admin-review This change requires one of the `team-repo-admins` to review. S-waiting-on-author Status: waiting on PR author labels Aug 8, 2025
@jieyouxu
Copy link
Member

jieyouxu commented Aug 9, 2025

Triage: friendly ping @adamgreig regarding the merge conflict :)

@adamgreig
Copy link
Contributor Author

Thanks for the reminder! I've rebased the PR.

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.

Thanks!

Proposed by WG lead, vote in rust-embedded/wg#831 (comment).

@jieyouxu jieyouxu added S-waiting-on-review Status: waiting on review from a team/WG/PG lead, an infra-admin, and/or a team-repo-admin. and removed S-waiting-on-author Status: waiting on PR author labels Aug 11, 2025
@jieyouxu jieyouxu added this pull request to the merge queue Aug 11, 2025
Merged via the queue into rust-lang:master with commit de90352 Aug 11, 2025
3 checks passed
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.

3 participants