Merge pull request #811 from RalfJung/miri

rylev · web-flow · commit 67ea56a2c9bc · 2022-08-26T11:40:04.000+02:00
add saethlin to miri team
diff --git a/people/saethlin.toml b/people/saethlin.toml
@@ -0,0 +1,5 @@
+name = 'Ben Kimock'
+github = 'saethlin'
+github-id = 12105168
+email = "kimockb@gmail.com"
+zulip-id = 120827
diff --git a/teams/miri.toml b/teams/miri.toml
@@ -3,7 +3,7 @@ subteam-of = "compiler"
 
 [people]
 leads = ["RalfJung", "oli-obk"]
-members = ["RalfJung", "oli-obk"]
+members = ["RalfJung", "oli-obk", "saethlin"]
 alumni = ["solson"]
 
 [permissions]
