Skip to content

Add blog post about recent Clippy team changes #999

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

Merged
merged 1 commit into from
Jul 13, 2022

Conversation

flip1995
Copy link
Member

We changed the Clippy team quite a bit recently with 3 new team additions. We want to get this a little bit more visibility and decided to write up a blog post, like other teams do.

cc @rust-lang/clippy

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.

r? @rylev

Copy link
Member

@rylev rylev left a comment

Choose a reason for hiding this comment

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

Looks great! We might have another post in the docket for today (though on the main blog and not the inside-rust blog). We may want to hold off until 04-July to post. In the meantime, there's a few nits to sort through.

@flip1995

This comment was marked as resolved.

@flip1995
Copy link
Member Author

flip1995 commented Jul 1, 2022

Just noticed that this is PR #999. Sooo close 🥲

@flip1995
Copy link
Member Author

flip1995 commented Jul 5, 2022

ping @rylev. When would you suggest to release this post? I'll adapt the date of the post accordingly.

@rylev
Copy link
Member

rylev commented Jul 11, 2022

@flip1995 sorry for the delay - I was on holiday last week. Does tomorrow (2022-07-12) work?

@flip1995 flip1995 force-pushed the clippy-new-members branch from 9794c64 to f5b744d Compare July 11, 2022 13:59
@flip1995
Copy link
Member Author

Works for me. I squashed+rebased the post and updated the date to tomorrow 👍

@flip1995 flip1995 force-pushed the clippy-new-members branch from f5b744d to 8864664 Compare July 13, 2022 07:55
@flip1995
Copy link
Member Author

ping @rylev bumped the date to today. Yesterday this would've interfered with the core team update. I would like to get this merged rather sooner than later now.

@rylev rylev merged commit efc0007 into rust-lang:master Jul 13, 2022
@rylev
Copy link
Member

rylev commented Jul 13, 2022

@flip1995 it has been merged! Thanks for your patience!

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.

4 participants