Skip to content
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.

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

Added embedded-resources subteam #107

Merged

Conversation

therealprof
Copy link
Contributor

Hopefully this satisfies the requirements of
rust-lang/rust#64119

Signed-off-by: Daniel Egger daniel@eggers-club.de

@pietroalbini
Copy link
Member

You also need to add:

[github]
orgs = ["rust-lang"]

This will automatically synchronize the members of the team here with a GitHub team in the rust-lang organization. Everyone will be automatically invited by a bot a few minutes after the PR is merged.

Hopefully this satisfies the requirements of
rust-lang/rust#64119

Signed-off-by: Daniel Egger <daniel@eggers-club.de>
@therealprof
Copy link
Contributor Author

@pietroalbini Thanks for noticing that. I didn't see it by glancing over the other team definitions. I've updated the PR to include it.

@pietroalbini
Copy link
Member

I didn't see it by glancing over the other team definitions.

Yep, GitHub synchronization is relatively new and it hasn't been enabled for most of the team. We haven't enabled it everywhere mostly because some teams on GitHub are diverged from the data on the team repo, and team leads need to resolve the conflicts.

@pietroalbini
Copy link
Member

Thanks! @adamgreig @andre-richter @jamesmunns @korken89 @ryankurte @thejpster @therealprof y'all should receive an invite to join the rust-lang organization soon. This is needed to be able to assign you to embedded-book toolstate breakages.

@pietroalbini pietroalbini merged commit e31b751 into rust-lang:master Sep 4, 2019
@andre-richter
Copy link
Member

Worked 👍

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants