I was going to invite @Aaron1011 or something like that
can someone point out to the PR Aaron have sent?
I think Aaron is here Aaron Hill but I'm not 100% sure
That's correct :)
hi Aaron :)
we were going to ask if you were interested being part of the group
Did you mean PR https://github.com/rust-lang/rust/pull/74967 ?
or something else
as we've seen some great stuff you've done
that one is correct
@Wesley Wiser @pnkfelix I'd leave adding @Aaron Hill to the group up to you
I think what it takes is a PR to the team repo and then adding Aaron to the Zulip group
Thanks @Santiago Pastorino
Last updated: Oct 21 2021 at 21:46 UTC