Closed nikomatsakis closed 5 years ago
Oh, also, @erlend-sh / @AlexEne, maybe one of you would be able to attend the Project Leadership Sync meeting? (Ping me on discord and I'll add you to the calendar invite.)
(I'm presuming you're the leads)
Hey, there is an open PR, I'll clean it up and ping you on it.
I actually opened this. I can try to join once in a while, but it's kind of intense at that hour for my schedule. Maybe join from time to time and split with @kvark / @erlend-sh?
Looks like it's a bi-weekly meeting, so splitting between us three means less than an hour per month. I can do it.
Cool, let's try to set up a schedule, I am going to follow-up on this in a different email. I am ultra busy with various (unrelated to rust) things in this period and that's why I really appreciate the help here :)
Hey! So I'd like to see this working group listed on the Rust website! Do you think you all could make a PR to https://github.com/rust-lang/team, similar to https://github.com/rust-lang/team/pull/103, to list yourselves, a link to this github org, etc?
(Please cc me or the core team on the pull request, too, to help make sure I see it; I suck at GH notifications.)
Thanks! ❤️