summaryrefslogtreecommitdiffstats
path: root/people
diff options
context:
space:
mode:
authorPietro Albini <pietro@pietroalbini.org>2019-09-11 16:42:18 +0200
committerGitHub <noreply@github.com>2019-09-11 16:42:18 +0200
commitd2c2144bb8721a61c5683e50f989f77bd9cd32c6 (patch)
tree3bd398a53b10bda19bec00f628ad09b4e98c57b9 /people
parent4cca08adebbb80762c41079a316932387459f97b (diff)
parent6c3e8495a0a6632e39c090face755d6058ad643f (diff)
Merge pull request #112 from spastorino/add-learning-members-to-team
Synchronize wg-learning with GitHub teams
Diffstat (limited to 'people')
-rw-r--r--people/amanjeev.toml3
-rw-r--r--people/mark-i-m.toml3
-rw-r--r--people/togiberlin.toml3
-rw-r--r--people/tshepang.toml3
4 files changed, 12 insertions, 0 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