diff options
| author | aidanhs <aidanhs@cantab.net> | 2019-11-05 17:04:11 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-05 17:04:11 +0000 |
| commit | 3d43fe866a2f58e856ccebe2c512f3ab9d43db25 (patch) | |
| tree | b18b651528d9139a4d5b841edfcb291bfa2f3a71 | |
| parent | 74da38ede6e5a0f2a570b6e79e12de452df2fd51 (diff) | |
| parent | 9d1cbf6280f667f3eabe92d7a20468a16dc2a754 (diff) | |
Merge pull request #176 from rust-lang/infra-update-1
Remove erickt and TimNN from the infra team
| -rw-r--r-- | teams/alumni.toml | 1 | ||||
| -rw-r--r-- | teams/infra.toml | 2 |
2 files changed, 1 insertions, 2 deletions
diff --git a/teams/alumni.toml b/teams/alumni.toml index d4dc497..df3444f 100644 --- a/teams/alumni.toml +++ b/teams/alumni.toml @@ -5,6 +5,7 @@ leads = [] members = [ "Gankra", "Aatch", + "TimNN", "alercah", "arielb1", "birkenfeld", diff --git a/teams/infra.toml b/teams/infra.toml index c076fed..4b03202 100644 --- a/teams/infra.toml +++ b/teams/infra.toml @@ -5,11 +5,9 @@ subteam-of = "operations" leads = ["aidanhs", "pietroalbini"] members = [ "Mark-Simulacrum", - "TimNN", "aidanhs", "alexcrichton", "ashleygwilliams", - "erickt", "kennytm", "pietroalbini", "sgrif", |