diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-12-03 23:51:56 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-03 23:51:56 +0100 |
commit | 07f1ee35fc9f9842b470d86d622676667255da9b (patch) | |
tree | 84b134a02fd9aa0929b67d4e3b129b0621b3efe8 | |
parent | 7b3a62a74b472dc07e39bc7236ea31d77afebe35 (diff) | |
parent | bcc329cf03e739a81146a7e2d31009bdd503a166 (diff) |
Merge pull request #187 from rust-lang/sync-infra
infra: remove Ashley and synchronize with GitHub
-rw-r--r-- | teams/infra.toml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/teams/infra.toml b/teams/infra.toml index 4b03202..85e6bc9 100644 --- a/teams/infra.toml +++ b/teams/infra.toml @@ -7,13 +7,15 @@ members = [ "Mark-Simulacrum", "aidanhs", "alexcrichton", - "ashleygwilliams", "kennytm", "pietroalbini", "sgrif", "shepmaster", ] +[github] +orgs = ["rust-lang", "rust-lang-nursery"] + [permissions] perf = true crater = true |