Merge pull request #1072 from spastorino/spastorino-wgs

Remove me from groups that I am inactive
rust-lang · Sep 14, 2023 · a30ffee · a30ffee
2 parents 4099712 + a1c679e
commit a30ffee
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/teams/icebreakers-llvm.toml b/teams/icebreakers-llvm.toml
@@ -19,7 +19,6 @@ members = [
     "nikic",
     "Noah-Kennedy",
     "SiavoshZarrasvand",
-    "spastorino",
     "vertexclique",
     "higuoxing",
     "DianQK",

diff --git a/teams/wg-async.toml b/teams/wg-async.toml
@@ -11,7 +11,6 @@ members = [
   "nikomatsakis",
   "nrc",
   "pnkfelix",
-  "spastorino",
   "taiki-e",
   "tmandry",
   "vincenzopalazzo",
@@ -31,6 +30,7 @@ alumni = [
   "lbernick",
   "nellshamrell",
   "rylev",
+  "spastorino",
   "withoutboats",
   "zeenix",
 ]

diff --git a/teams/wg-incr-comp.toml b/teams/wg-incr-comp.toml
@@ -4,8 +4,8 @@ kind = "working-group"
 
 [people]
 leads = ["pnkfelix", "wesleywiser"]
-members = ["davidtwco", "pnkfelix", "spastorino", "wesleywiser", "michaelwoerister", "Aaron1011", "cjgillot"]
-alumni = ["pierwill"]
+members = ["davidtwco", "pnkfelix", "wesleywiser", "michaelwoerister", "Aaron1011", "cjgillot"]
+alumni = ["pierwill", "spastorino"]
 
 [[github]]
 orgs = ["rust-lang"]

diff --git a/teams/wg-mir-opt.toml b/teams/wg-mir-opt.toml
@@ -4,7 +4,8 @@ kind = "working-group"
 
 [people]
 leads = ["oli-obk"]
-members = ["oli-obk", "spastorino", "eddyb", "davidtwco", "wesleywiser", "vertexclique", "JakobDegen"]
+members = ["oli-obk", "eddyb", "davidtwco", "wesleywiser", "vertexclique", "JakobDegen"]
+alumni = ["spastorino"]
 
 [[github]]
 orgs = ["rust-lang"]