move varkor to pcg alumni (#1498)

lcnr · web-flow · commit 2b4988131a3e · 2024-07-16T15:47:07.000+02:00
diff --git a/teams/project-const-generics.toml b/teams/project-const-generics.toml
@@ -7,12 +7,12 @@ leads = ["BoxyUwU", "lcnr"]
 members = [
     "lcnr",
     "nikomatsakis",
-    "varkor",
     "davidtwco",
     "oli-obk",
     "BoxyUwU",
 ]
 alumni = [
+    "varkor",
     "withoutboats",
 ]
 
