Merge pull request rust-lang#1460 from jamesmunns/patch-4

Update leadership-council.toml
ojeda · May 24, 2024 · 7d4fc2c · 7d4fc2c
2 parents a2fda92 + f45fb5a
commit 7d4fc2c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/teams/leadership-council.toml b/teams/leadership-council.toml
@@ -6,12 +6,12 @@ members = [
     { github = "eholk", roles = ["council-rep-compiler"] },
     { github = "ehuss", roles = ["council-rep-devtools"] },
     { github = "jackh726", roles = ["council-rep-lang"] },
-    { github = "jonathanpallant", roles = ["council-rep-launching-pad"] },
+    { github = "jamesmunns", roles = ["council-rep-launching-pad"] },
     { github = "Mark-Simulacrum", roles = ["council-rep-infra"] },
     { github = "m-ou-se", roles = ["council-rep-libs"] },
     { github = "technetos", roles = ["council-rep-mods"] },
 ]
-alumni = ["khionu", "rylev", "carols10cents"]
+alumni = ["khionu", "rylev", "carols10cents", "jonathanpallant"]
 
 [[github]]
 orgs = ["rust-lang", "rust-lang-nursery"]