diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-09-04 18:19:19 +0200 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-09-04 18:19:19 +0200 |
commit | b08b2d26e637a6fb9318cd28dc1cd0f5f40ca555 (patch) | |
tree | c9f12d5e4f83e1fb4082073807c21f0b449f8127 /docs/toml-schema.md | |
parent | a4170ba3d5cd5c729162cfdbcfca3710a8c0d0de (diff) |
teams/compiler-contributors: include compiler members on github
Diffstat (limited to 'docs/toml-schema.md')
-rw-r--r-- | docs/toml-schema.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/toml-schema.md b/docs/toml-schema.md index cc723e6..ee69908 100644 --- a/docs/toml-schema.md +++ b/docs/toml-schema.md @@ -50,6 +50,8 @@ members = [ [github] team-name = "overlords-team" # The name of the GitHub team (optional) orgs = ["rust-lang"] # Organizations to create the team in (required) +# Include members of these Rust teams in this GitHub team (optional) +extra-teams = ["bots-nursery"] # Define the mailing lists used by the team # It's optional, and there can be more than one |