summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPietro Albini <pietro@pietroalbini.org>2019-12-03 23:51:56 +0100
committerGitHub <noreply@github.com>2019-12-03 23:51:56 +0100
commit07f1ee35fc9f9842b470d86d622676667255da9b (patch)
tree84b134a02fd9aa0929b67d4e3b129b0621b3efe8
parent7b3a62a74b472dc07e39bc7236ea31d77afebe35 (diff)
parentbcc329cf03e739a81146a7e2d31009bdd503a166 (diff)
downloadrust-lang-team-07f1ee35fc9f9842b470d86d622676667255da9b.tar.gz
rust-lang-team-07f1ee35fc9f9842b470d86d622676667255da9b.tar.xz
Merge pull request #187 from rust-lang/sync-infra
infra: remove Ashley and synchronize with GitHub
-rw-r--r--teams/infra.toml4
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