Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Move samueltardieu to the Clippy team #1716

Merged
merged 1 commit into from
Mar 24, 2025
Merged

Move samueltardieu to the Clippy team #1716

merged 1 commit into from
Mar 24, 2025

Conversation

flip1995
Copy link
Member

From the clippy-contributors team. Welcome to the main team!

cc @rust-lang/clippy @samueltardieu

@flip1995
Move samueltardieu to the Clippy team
4f0ddbb 
From the clippy-contributors team. Welcome to the main team!
@Manishearth
Copy link
Member

Congratulations!!

@github-actions GitHub Actions
Copy link

Dry-run check results 

[2025-03-24T19:37:07Z WARN  sync_team] sync-team is running in dry mode, no changes will be applied.
[2025-03-24T19:37:07Z INFO  sync_team] synchronizing github
[2025-03-24T19:39:34Z INFO  sync_team] 💻 Team Diffs:
    📝 Editing team 'rust-lang/clippy':
      Adding member 'samueltardieu' with member role
    📝 Editing team 'rust-lang/clippy-contributors':
      Deleting member 'samueltardieu'

@samueltardieu
Copy link

Thanks to all.

@Mark-Simulacrum Mark-Simulacrum merged commit 8ef0642 into rust-lang:master Mar 24, 2025
1 check passed
@flip1995 flip1995 deleted the clippy-samuel branch March 25, 2025 10:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@samueltardieu samueltardieu samueltardieu approved these changes

@Mark-Simulacrum Mark-Simulacrum Mark-Simulacrum approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@flip1995 @Manishearth @samueltardieu @Mark-Simulacrum