Skip to content

Conversation

@Nemo157
Copy link
Contributor

@Nemo157 Nemo157 commented Sep 20, 2025

I've been meaning to do this for a while as I haven't really been finding the time to contribute anymore.

cc @rust-lang/rustdoc

@github-actions
Copy link

Dry-run check results

[WARN  sync_team] sync-team is running in dry mode, no changes will be applied.
[INFO  sync_team] synchronizing github
[INFO  sync_team] 💻 Team Diffs:
    📝 Editing team 'rust-lang/all':
      Deleting member 'Nemo157'
    📝 Editing team 'rust-lang/rustdoc':
      Deleting member 'Nemo157'
    📝 Editing team 'rust-lang-nursery/rustdoc':
      Deleting member 'Nemo157'
    💻 Org membership Diffs:
    ❌ Removing the following members from `rust-lang`:
      - Nemo157
    ❌ Removing the following members from `rust-lang-nursery`:
      - Nemo157

@GuillaumeGomez
Copy link
Member

It saddens me to see you go. Thanks a lot for your work all these years! Don't forget that if you find time and motivation, you are more than welcome to come back.

@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 Sep 20, 2025
@jieyouxu jieyouxu added this pull request to the merge queue Sep 20, 2025
Merged via the queue into rust-lang:master with commit 666b6ac Sep 20, 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