Merge pull request #1811 from spastorino/change-spastorino

jackh726 · web-flow · commit 23f173e17247 · 2025-05-08T17:30:47.000Z
Step down from vision doc
diff --git a/teams/compiler.toml b/teams/compiler.toml
@@ -132,7 +132,6 @@ extra-people = [
     "BoxyUwU",
     "jieyouxu",
     "jswrenn",
-    "spastorino",
     "tmiasko"
 ]
 
diff --git a/teams/project-negative-impls.toml b/teams/project-negative-impls.toml
@@ -8,10 +8,10 @@ leads = [
 ]
 members = [
     "nikomatsakis",
-    "spastorino",
 ]
 alumni = [
     "pnkfelix",
+    "spastorino",
 ]
 
 [website]
diff --git a/teams/project-vision-doc-2025.toml b/teams/project-vision-doc-2025.toml
@@ -10,13 +10,13 @@ members = [
     "Nadrieril",
     "ernestkissiedu",
     "baumanj",
-    "spastorino",
     "joshtriplett",
     "workingjubilee",
     "timClicks",
     "traviscross",
 ]
 alumni = [
+    "spastorino",
 ]
 
 [[github]]
