summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPietro Albini <pietro@pietroalbini.org>2019-11-27 18:53:28 +0100
committerPietro Albini <pietro@pietroalbini.org>2019-11-27 18:53:28 +0100
commitbcc329cf03e739a81146a7e2d31009bdd503a166 (patch)
tree84b134a02fd9aa0929b67d4e3b129b0621b3efe8
parent7b3a62a74b472dc07e39bc7236ea31d77afebe35 (diff)
infra: remove ashley and sync 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