diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-07-17 12:06:29 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-07-17 12:06:29 +0200 |
| commit | 9c657f238d9a1354536dcb0a2e89adf5dd6cef4b (patch) | |
| tree | a2269b492fe462fb09a09ee89e453a07f4c30b71 /docs/toml-schema.md | |
| parent | 732feec5e8db47846ae2fbfe69fbf028090a809d (diff) | |
add github teams in the schema and the api
This will allow synchronization tools for GitHub teams to be built. No
teams are currently configured to be synchronized.
Diffstat (limited to 'docs/toml-schema.md')
| -rw-r--r-- | docs/toml-schema.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/toml-schema.md b/docs/toml-schema.md index 208ceed..0147d6d 100644 --- a/docs/toml-schema.md +++ b/docs/toml-schema.md @@ -45,6 +45,12 @@ members = [ [permissions] # Optional, see the permissions documentation +# Configure the GitHub integration +# This is optional, and if missing the team won't be synchronized with GitHub +[github] +name = "overlords-team" # The name of the GitHub team (optional) +orgs = ["rust-lang"] # Organizations to create the team in (required) + # Define the mailing lists used by the team # It's optional, and there can be more than one [[lists]] |