Eric Holk
Here's a recent PR that was relevant here: https://github.com/rust-lang/rust/pull/125419
If there are two issues here, should we fork one of them off into its own issue?
It seems like the Project Goals initiative that Niko's leading is a good effort for revamping the roadmap process.
Is there anything that still needs to be done here? We have the councilmembers listed on the web site, but I guess we don't have affiliation information listed there yet.
Adding this to the project board's short list since we want to get this done before the next round of PD elections.
I put up a PR with proposed changes to clarify the current status quo: https://github.com/rust-lang/leadership-council/pull/86 Let's use the PR to discuss possible changes and make sure we're happy with the...
Adding this to the shortlist on our project board because elections will be here before we know it and we want to finish this ahead of time.
I think this is a great idea because there are a few ways we could define fairness and I think it's worth declaring which one we mean and plan to...
> This is mostly a check to guard against error-prone runtime implementations. The actual right thing to do here would be to document that runtimes must associate a future with...
> Don't forget to update the date in the path! I will before merging. I'll plan on doing that tomorrow since I put a call in Zulip for any final...