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.

Sign up for GitHub

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

Jump to bottom

Added embedded-wg-infrastructure team #328

Merged

pietroalbini merged 2 commits into rust-lang:master from ryankurte:embedded-infra-team

Apr 28, 2020

Contributor

ryankurte commented Apr 25, 2020 •

edited

Loading

First team, relates to rust-embedded/wg#442, cc. @pietroalbini


          Added infrastructure team to management

17836d7

Member

pietroalbini commented Apr 27, 2020

Before we can merge this, rust-embedded needs to be added to the list of allowed orgs in config.toml.


          added rust-embedded allowed org and mailing list

b8c9961

Member

pietroalbini commented Apr 28, 2020

Thanks!

pietroalbini merged commit 6408133 into rust-lang:master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet