diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-09-11 16:42:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-11 16:42:18 +0200 |
| commit | d2c2144bb8721a61c5683e50f989f77bd9cd32c6 (patch) | |
| tree | 3bd398a53b10bda19bec00f628ad09b4e98c57b9 | |
| parent | 4cca08adebbb80762c41079a316932387459f97b (diff) | |
| parent | 6c3e8495a0a6632e39c090face755d6058ad643f (diff) | |
Merge pull request #112 from spastorino/add-learning-members-to-team
Synchronize wg-learning with GitHub teams
| -rw-r--r-- | people/amanjeev.toml | 3 | ||||
| -rw-r--r-- | people/mark-i-m.toml | 3 | ||||
| -rw-r--r-- | people/togiberlin.toml | 3 | ||||
| -rw-r--r-- | people/tshepang.toml | 3 | ||||
| -rw-r--r-- | teams/wg-learning.toml | 5 |
5 files changed, 16 insertions, 1 deletions
diff --git a/people/amanjeev.toml b/people/amanjeev.toml new file mode 100644 index 0000000..9aa4509 --- /dev/null +++ b/people/amanjeev.toml @@ -0,0 +1,3 @@ +name = 'Amanjeev Sethi' +github = 'amanjeev' +github-id = 160476 diff --git a/people/mark-i-m.toml b/people/mark-i-m.toml new file mode 100644 index 0000000..9d675dd --- /dev/null +++ b/people/mark-i-m.toml @@ -0,0 +1,3 @@ +name = 'Who? Me?!' +github = 'mark-i-m' +github-id = 8827840 diff --git a/people/togiberlin.toml b/people/togiberlin.toml new file mode 100644 index 0000000..886d9c5 --- /dev/null +++ b/people/togiberlin.toml @@ -0,0 +1,3 @@ +name = 'Togi Sergey' +github = 'togiberlin' +github-id = 13764830 diff --git a/people/tshepang.toml b/people/tshepang.toml new file mode 100644 index 0000000..3402c55 --- /dev/null +++ b/people/tshepang.toml @@ -0,0 +1,3 @@ +name = 'Tshepang Lekhonkhobe' +github = 'tshepang' +github-id = 588486 diff --git a/teams/wg-learning.toml b/teams/wg-learning.toml index 91435d1..37913a6 100644 --- a/teams/wg-learning.toml +++ b/teams/wg-learning.toml @@ -4,7 +4,10 @@ wg = true [people] leads = ["nikomatsakis", "spastorino"] -members = ["nikomatsakis", "spastorino"] +members = ["nikomatsakis", "spastorino", "mark-i-m", "amanjeev", "tshepang", "togiberlin", "JohnTitor"] + +[github] +orgs = ["rust-lang"] [website] name = "Learning" |