Remove @Disasm from the EWG RISC-V team and the risc-v marker team (#…

…1115)
rust-lang · Nov 23, 2023 · 01492f5 · 01492f5
1 parent 8813f2d
commit 01492f5
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 3 deletions.
diff --git a/teams/risc-v.toml b/teams/risc-v.toml
@@ -5,7 +5,6 @@ kind = "marker-team"
 leads = []
 members = [
     "denisvasilik",
-    "Disasm",
     "kraj",
     "tblah",
 ]
diff --git a/teams/wg-embedded-riscv.toml b/teams/wg-embedded-riscv.toml
@@ -5,7 +5,6 @@ kind = "working-group"
 [people]
 leads = []
 members = [
-    "Disasm",
     "almindor",
     "dkhayes117",
     "romancardenas",

diff --git a/teams/wg-embedded.toml b/teams/wg-embedded.toml
@@ -5,7 +5,6 @@ kind = "working-group"
 leads = ["adamgreig", "japaric", "therealprof"]
 members = [
     "Dirbaio",
-    "Disasm",
     "Emilgardis",
     "adamgreig",
     "almindor",
@@ -33,6 +32,7 @@ alumni = [
     "awygle",
     "bradjc",
     "danc86",
+    "Disasm",
     "dvc94ch",
     "dylanmckay",
     "hannobraun",