diff options
| author | Santiago Pastorino <spastorino@gmail.com> | 2019-10-29 18:44:13 -0300 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2019-10-29 17:44:13 -0400 |
| commit | ca946926d7bf53c605dfd39cb655df3bba5aaa40 (patch) | |
| tree | 0a665aef8594bed5749237fc49b45b27c422b885 | |
| parent | 258fee2d035f16e817fae9ec1e37749113afaaf7 (diff) | |
Add mark-i-m as co-lead and remove nikomatakis from learning wg (#172)
* Add mark-i-m as co-lead of learning wg
* Remove nikomatsakis from the team
| -rw-r--r-- | people/mark-i-m.toml | 1 | ||||
| -rw-r--r-- | teams/wg-learning.toml | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/people/mark-i-m.toml b/people/mark-i-m.toml index 9d675dd..ad6d0a8 100644 --- a/people/mark-i-m.toml +++ b/people/mark-i-m.toml @@ -1,3 +1,4 @@ name = 'Who? Me?!' github = 'mark-i-m' github-id = 8827840 +email = "m.mim95@gmail.com" diff --git a/teams/wg-learning.toml b/teams/wg-learning.toml index 37913a6..7b47833 100644 --- a/teams/wg-learning.toml +++ b/teams/wg-learning.toml @@ -3,8 +3,8 @@ subteam-of = "compiler" wg = true [people] -leads = ["nikomatsakis", "spastorino"] -members = ["nikomatsakis", "spastorino", "mark-i-m", "amanjeev", "tshepang", "togiberlin", "JohnTitor"] +leads = ["spastorino", "mark-i-m"] +members = ["spastorino", "mark-i-m", "amanjeev", "tshepang", "togiberlin", "JohnTitor"] [github] orgs = ["rust-lang"] |