Update WG memberships

I was the liaison when these groups got started, and participated early on, but have not been an active member for a while.
rust-lang · May 31, 2023 · 71f5b6e · 71f5b6e
1 parent 462f76e
commit 71f5b6e
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 3 deletions.
diff --git a/teams/wg-ffi-unwind.toml b/teams/wg-ffi-unwind.toml
@@ -15,6 +15,8 @@ members = [
     "gnzlbg",
     "nbdd0121",
     "nikomatsakis",
+]
+alumni = [
     "joshtriplett",
 ]
 

diff --git a/teams/wg-inline-asm.toml b/teams/wg-inline-asm.toml
@@ -3,9 +3,11 @@ subteam-of = "lang"
 kind = "working-group"
 
 [people]
-leads = ["Amanieu", "joshtriplett"]
+leads = ["Amanieu"]
 members = [
     "Amanieu",
+]
+alumni = [
     "joshtriplett",
 ]
 

diff --git a/teams/wg-safe-transmute.toml b/teams/wg-safe-transmute.toml
@@ -3,12 +3,14 @@ subteam-of = "lang"
 kind = "working-group"
 
 [people]
-leads = ["rylev", "joshtriplett"]
+leads = ["rylev"]
 members = [
     "rylev",
-    "joshtriplett",
     "jswrenn",
 ]
+alumni = [
+    "joshtriplett",
+]
 
 [website]
 name = "safe-transmute project group"