diff options
| author | Alex Crichton <alex@alexcrichton.com> | 2019-10-03 07:37:47 -0700 |
|---|---|---|
| committer | Alex Crichton <alex@alexcrichton.com> | 2019-10-03 07:49:06 -0700 |
| commit | 04fa32d1c74c7af22f3b71ce8315d503c771752d (patch) | |
| tree | ae4560677e72527e0d1fee35c26cc8bfa4533642 /teams | |
| parent | 3108571935b84b04faecb3b09e3d5534cc58a458 (diff) | |
Update libs team configuration
* Enable sync with github
* Remove aturon who is no longer a member
Diffstat (limited to 'teams')
| -rw-r--r-- | teams/libs.toml | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/teams/libs.toml b/teams/libs.toml index 258679f..bc8f04c 100644 --- a/teams/libs.toml +++ b/teams/libs.toml @@ -3,18 +3,20 @@ name = "libs" [people] leads = ["alexcrichton"] members = [ - "alexcrichton", - "sfackler", + "Amanieu", "BurntSushi", "Kimundi", + "KodrAus", "SimonSapin", + "alexcrichton", "dtolnay", - "aturon", - "KodrAus", + "sfackler", "withoutboats", - "Amanieu", ] +[github] +orgs = ["rust-lang", "rust-lang-nursery"] + [permissions] perf = true crater = true @@ -30,7 +32,6 @@ ping = "rust-lang/libs" exclude-members = [ "BurntSushi", "KodrAus", - "aturon", ] [website] |