Leave wg-prioritization and wg-rustc-dev-guide too

jyn514 · jyn514 · commit 15612e01ba73 · 2022-02-17T15:20:59.000-06:00
diff --git a/people/jyn514.toml b/people/jyn514.toml
@@ -1,6 +1,6 @@
 name = 'Joshua Nelson'
 github = 'jyn514'
 github-id = 23638587
-email = 'jyn514@gmail.com'
+email = 'rust@jyn.dev'
 zulip-id = 232545
 discord-id = 568772690438127647
diff --git a/teams/wg-prioritization.toml b/teams/wg-prioritization.toml
@@ -18,7 +18,6 @@ members = [
     "JamesPatrickGill",
     "jechasteen",
     "JohnTitor",
-    "jyn514",
     "lcnr",
     "mstallmo",
     "o0Ignition0o",
@@ -30,6 +29,7 @@ members = [
 ]
 alumni = [
     "Centril",
+    "jyn514",
     "LeSeulArtichaut",
     "mark-i-m",
     "spastorino",
diff --git a/teams/wg-rustc-dev-guide.toml b/teams/wg-rustc-dev-guide.toml
@@ -10,13 +10,12 @@ members = [
     "togiberlin",
     "JohnTitor",
     "chrissimpkins",
-    "jyn514",
     "camelid",
     "igaray",
     "rylev",
     "pierwill",
 ]
-alumni = ["LeSeulArtichaut", "mark-i-m", "Nashenas88"]
+alumni = ["LeSeulArtichaut", "jyn514", "mark-i-m", "Nashenas88"]
 
 [[github]]
 orgs = ["rust-lang"]
