Add an update from the Rust Leadership Council

[eholk]

It's been about a month since our last leadership council post. In the interest of communicating proactively and publicly, it's time to post an update on what we've been up to.

I set the date for Monday, July 24, but we can move this earlier if everyone consents first.

This should get consent from all members of @rust-lang/leadership-council. Please check your box below when you're happy with the post.

Checkboxes:

• @carols10cents
• @eholk
• @ehuss
• @jackh726
• @khionu
• @Mark-Simulacrum
• @m-ou-se
• @rylev
• @thejpster

[rylev]

I've left a few comments that would be nice to address, but I'm also would be happy with the post as is so I've given my ✅.

[thejpster]

I can't tick my box but, modulo some comments which I agree we should address, this looks good to me.

[jonathanpallant]

I can't tick the box from here either.

[rylev]

@carols10cents @jonathanpallant you should have the ability to ✅ now

[carols10cents]

I believe I've addressed all the comments in some manner. Thank you all for the great comments!

[eholk]

@rylev mentioned on Zulip that this post might be better on Inside Rust. That makes sense to me as well. I'm tempted to push a commit here that does that, but a lot of us have consented already and I'm not sure whether that's a substantive enough change that we should clear everyone's checkboxes?

[Mark-Simulacrum]

I'm happy with recategorizing.

[rylev]

@eholk I think we should move to the Inside Rust blog. We've had no concerns from @Mark-Simulacrum, @carols10cents, and myself. If someone has a concern, this is easily reversible even after we merge.

[eholk]

@eholk I think we should move to the Inside Rust blog. We've had no concerns from @Mark-Simulacrum, @carols10cents, and myself. If someone has a concern, this is easily reversible even after we merge.

Done!

[rylev]

This is ready to merge. Just need to merge rust-lang/leadership-council#18 first.