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.

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

Add @blyxyas and @Centri3 to the Clippy Team πŸŽ‰ 🎊 πŸ–‡οΈ #1031

Merged
merged 2 commits into from
Jul 20, 2023

Conversation

xFrednet
Copy link
Member

πŸ₯ πŸ₯ πŸ₯

Welcome to the Clippy Team @blyxyas and @Centri3 πŸŽ‰ 🎊 πŸ–‡οΈ


@Centri3 Could you give me an email for your user file? The README includes a section on how to encrypt it, if you don't want it to be public :)

Once this PR is done, I'll also add you two to the reviewer rotation in the Clippy repo. Thank you for all the work you have already done in the past few months! ❀️


r? @flip1995 || @Manishearth

cc: @rust-lang/clippy

Copy link
Member

@flip1995 flip1995 left a comment

Choose a reason for hiding this comment

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

Welcome to the team to both of you! Looking forward to your future contributions.

(approval pending email address)

@Centri3
Copy link
Member

Centri3 commented Jul 18, 2023

(approval pending email address)

I've already sent it to xfrednet, it's [email protected]. Waiting on him to update it now, forgot to create an alias sooner πŸ˜…

@blyxyas
Copy link
Member

blyxyas commented Jul 18, 2023

Flores? @Centri3 are you from a spanish-speaking place? That'd be so epic ^w^

@Centri3
Copy link
Member

Centri3 commented Jul 18, 2023

Sorry to disappoint, but that's just my last name ^^

@xFrednet xFrednet marked this pull request as ready for review July 18, 2023 12:41
@xFrednet
Copy link
Member Author

Thank you! I've fixed up the last commit with your email. Now everything should be ready πŸš€

r? @Mark-Simulacrum

Copy link
Member

@Manishearth Manishearth left a comment

Choose a reason for hiding this comment

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

welcome to the team!

@Manishearth
Copy link
Member

r? @Mark-Simulacrum or @rylev

@rylev rylev merged commit 15ed025 into rust-lang:master Jul 20, 2023
1 check passed
@xFrednet xFrednet deleted the clippy-new-members-2023 branch July 20, 2023 18:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants