Skip to content

Add post on opening up the Core Team agenda #657

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 2 commits into from
Jul 27, 2020

Conversation

pietroalbini
Copy link
Member

This should be posted tomorrow.

r? @rust-lang/core?

@pietroalbini pietroalbini requested a review from a team July 23, 2020 15:32
@pietroalbini pietroalbini requested a review from a team as a code owner July 23, 2020 15:32
Copy link
Member

@steveklabnik steveklabnik left a comment

Choose a reason for hiding this comment

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

Looks good to me overall, one or two little things :)

layout: post
title: "Opening up the Core Team agenda"
author: Pietro Albini
team: the Core Team <https://www.rust-lang.org/governance/teams/core>
Copy link
Member

Choose a reason for hiding this comment

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

Historically we have used

The Rust Core Team

I like the addition of the link, but maybe for consistency's sake we should make the text the same.

Copy link
Member Author

Choose a reason for hiding this comment

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

@steveklabnik note that this will show up as "Pietro Albini, on behalf of the [Core Team]", as any other Inside Rust post. Do we want to change that?

Copy link
Member

Choose a reason for hiding this comment

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

Ah, I did not see that on Inside Rust! Seems fine :)

Co-authored-by: Niko Matsakis <[email protected]>
@pietroalbini pietroalbini merged commit 619e90f into rust-lang:master Jul 27, 2020
@pietroalbini pietroalbini deleted the core-agenda branch July 27, 2020 20:59
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