Merge pull request #1838 from thejpster/patch-1

Mark-Simulacrum · web-flow · commit c10f284884d2 · 2025-05-25T17:27:34.000Z
Sync wg-embedded-arm.toml
diff --git a/people/robamu.toml b/people/robamu.toml
@@ -0,0 +1,6 @@
+name = "Robin Mueller"
+github = "robamu"
+github-id = 31589589
+email = "robin.mueller.m@gmail.com"
+zulip-id =  919374
+discord-id = 424647920906797057
diff --git a/teams/wg-embedded-arm.toml b/teams/wg-embedded-arm.toml
@@ -7,10 +7,12 @@ leads = []
 members = [
     "adamgreig",
     "berkus",
+    "ithinuel",
     "jonathanpallant",
     "nchong-at-aws",
     "newAM",
     "raw-bin",
+    "robamu",
     "thalesfragoso",
     "therealprof",
 ]
