Update WG-Embedded Resources subteam with current members

jamesmunns · jamesmunns · commit d6ed7a8e0dd9 · 2024-07-03T09:48:55.000+02:00
diff --git a/people/BartMassey.toml b/people/BartMassey.toml
@@ -0,0 +1,5 @@
+name = "Bart Massey"
+github = "BartMassey"
+github-id = 117151
+email = "bart@cs.pdx.edu"
+zulip-id = 317761
diff --git a/people/hdoordt.toml b/people/hdoordt.toml
@@ -0,0 +1,4 @@
+name = "Henk Oordt"
+github = "hdoordt"
+github-id = 17907879
+zulip-id = 666154
diff --git a/teams/wg-embedded-resources.toml b/teams/wg-embedded-resources.toml
@@ -6,13 +6,16 @@ kind = "working-group"
 leads = []
 members = [
     "adamgreig",
-    "andre-richter",
+    "BartMassey",
     "eldruin",
     "hargoniX",
+    "hdoordt",
     "jamesmunns",
     "therealprof",
 ]
-alumni = []
+alumni = [
+    "andre-richter",
+]
 
 [website]
 name = "Embedded resources working group"
