Skip to content

Added embedded-resources subteam#107

Merged
emilyalbini merged 1 commit intorust-lang:masterfrom
therealprof:add-embedded-resources-team
Sep 4, 2019
Merged

Added embedded-resources subteam#107
emilyalbini merged 1 commit intorust-lang:masterfrom
therealprof:add-embedded-resources-team

Conversation

@therealprof
Copy link
Copy Markdown
Contributor

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

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

@emilyalbini
Copy link
Copy Markdown
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 therealprof force-pushed the add-embedded-resources-team branch from d8a6bca to f58f476 Compare September 4, 2019 07:54
@therealprof
Copy link
Copy Markdown
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.

@emilyalbini
Copy link
Copy Markdown
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.

@emilyalbini
Copy link
Copy Markdown
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.

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

Worked 👍

Kobzol pushed a commit to Kobzol/team that referenced this pull request Mar 15, 2025
Fix deserialization of repository description
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