Skip to content

Rust project goals public post #1374

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 22 commits into from
Aug 12, 2024

Conversation

nikomatsakis
Copy link
Contributor

Proposed blog post covering the goals program. Feedback welcome! I'll check in periodically.

@nikomatsakis
Copy link
Contributor Author

I'm thinking that the "how selected project goals" section might be worth cutting and moving to a page on the rust-lang/rust-project-goals repo.

@nikomatsakis
Copy link
Contributor Author

OK, I incorporated the minor feedback but also made a major edit, cutting back on the "inside baseball" of how goals work and closing with the "project goals as a better front door to Rust" section, which seems like a decent inspirational closure. Take a look.

nikomatsakis

This comment was marked as outdated.

@nikomatsakis
Copy link
Contributor Author

I renamed the file for posting tomorrow -- though I think it could also be posted today

Copy link
Contributor

@ojeda ojeda 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!

@blyxyas
Copy link
Member

blyxyas commented Aug 8, 2024

Rendered

@nikomatsakis
Copy link
Contributor Author

OK, I believe this is ready to post.

@nikomatsakis
Copy link
Contributor Author

(It does require an approving review, however.)

cc @rust-lang/leadership-council

Copy link
Member

@jackh726 jackh726 left a comment

Choose a reason for hiding this comment

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

Overall, looks pretty solid! A couple thoughts.

@jackh726
Copy link
Member

@nikomatsakis if you make the two changes and update the date, I'll merge tomorrow.

@nikomatsakis
Copy link
Contributor Author

if you make the two changes and update the date, I'll merge tomorrow.

@jackh726 done.

Copy link
Member

@jackh726 jackh726 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, thanks!

@jackh726 jackh726 merged commit f57626b into rust-lang:master Aug 12, 2024
3 checks passed
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