diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-07-17 12:07:25 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-07-17 15:28:49 +0200 |
| commit | 9a1c14813f3d66965e14e3570a2f3a96433e1bc6 (patch) | |
| tree | 175fbe32780a505f7b5e595511e77db176eb9f70 /docs | |
| parent | 9c657f238d9a1354536dcb0a2e89adf5dd6cef4b (diff) | |
synchronize the release team with github
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/toml-schema.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/toml-schema.md b/docs/toml-schema.md index 0147d6d..cc723e6 100644 --- a/docs/toml-schema.md +++ b/docs/toml-schema.md @@ -48,7 +48,7 @@ members = [ # 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) +team-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 |