Add eholk to alumni list

eholk · Mark-Simulacrum · commit 051413fc0bf4 · 2025-03-21T21:31:34.000-07:00
diff --git a/teams/leadership-council.toml b/teams/leadership-council.toml
@@ -11,7 +11,7 @@ members = [
     { github = "m-ou-se", roles = ["council-rep-libs"] },
     { github = "oli-obk", roles = ["council-rep-mods"] },
 ]
-alumni = ["khionu", "rylev", "carols10cents", "jonathanpallant", "jackh726", "technetos"]
+alumni = ["khionu", "rylev", "carols10cents", "jonathanpallant", "jackh726", "technetos", "eholk"]
 
 [[github]]
 orgs = ["rust-lang", "rust-lang-nursery"]

Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@ members = [`
`11`	`11`	`{ github = "m-ou-se", roles = ["council-rep-libs"] },`
`12`	`12`	`{ github = "oli-obk", roles = ["council-rep-mods"] },`
`13`	`13`	`]`
`14`		`-alumni = ["khionu", "rylev", "carols10cents", "jonathanpallant", "jackh726", "technetos"]`
	`14`	`+alumni = ["khionu", "rylev", "carols10cents", "jonathanpallant", "jackh726", "technetos", "eholk"]`
`15`	`15`
`16`	`16`	`[[github]]`
`17`	`17`	`orgs = ["rust-lang", "rust-lang-nursery"]`