Fill in a few more alumni from git history (#1183)

dtolnay · web-flow · commit 31614425b59c · 2024-01-09T14:03:15.000+01:00
diff --git a/teams/archive/docs-peers.toml b/teams/archive/docs-peers.toml
@@ -6,6 +6,9 @@ leads = []
 members = []
 alumni = [
     "alercah",
+    "Havvy",
+    "marioidival",
+    "matthewjasper",
 ]
 
 [website]
diff --git a/teams/archive/docs.toml b/teams/archive/docs.toml
@@ -11,6 +11,7 @@ alumni = [
     "rylev",
     "celaus",
     "peschkaj",
+    "sophiajt",
 ]
 
 [permissions]
diff --git a/teams/archive/interim-leadership-chat.toml b/teams/archive/interim-leadership-chat.toml
@@ -8,6 +8,7 @@ members = []
 alumni = [
     "badboy",
     "cuviper",
+    "joshtriplett",
     "jtgeibel",
     "khionu",
     "m-ou-se",
@@ -17,6 +18,7 @@ alumni = [
     "pietroalbini",
     "pnkfelix",
     "rylev",
+    "sophiajt",
     "technetos",
     "tmandry",
     "Turbo87",
diff --git a/teams/core.toml b/teams/core.toml
@@ -28,6 +28,7 @@ alumni = [
     "aidanhs",
     "sophiajt",
     "badboy",
+    "wycats",
 ]
 
 [[github]]
diff --git a/teams/libs-contributors.toml b/teams/libs-contributors.toml
@@ -16,7 +16,9 @@ members = [
   "sunfishcode",
   "yaahc",
 ]
-alumni = []
+alumni = [
+  "shepmaster",
+]
 
 [permissions]
 bors.rust.review = true
