From d2c40611cdb0eb45ca93205fe664d30511285af8 Mon Sep 17 00:00:00 2001 From: Eric Huss Date: Sat, 20 Sep 2025 15:47:08 -0700 Subject: [PATCH] Add Kobzol to the leadership-council --- teams/leadership-council.toml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/teams/leadership-council.toml b/teams/leadership-council.toml index a57010254..cf7044328 100644 --- a/teams/leadership-council.toml +++ b/teams/leadership-council.toml @@ -7,11 +7,11 @@ members = [ { github = "ehuss", roles = ["council-rep-devtools"] }, { github = "traviscross", roles = ["council-rep-lang"] }, { github = "jamesmunns", roles = ["council-rep-launching-pad"] }, - { github = "Mark-Simulacrum", roles = ["council-rep-infra"] }, + { github = "Kobzol", roles = ["council-rep-infra"] }, { github = "m-ou-se", roles = ["council-rep-libs"] }, { github = "oli-obk", roles = ["council-rep-mods"] }, ] -alumni = ["khionu", "rylev", "carols10cents", "jonathanpallant", "jackh726", "technetos", "eholk"] +alumni = ["khionu", "rylev", "carols10cents", "jonathanpallant", "jackh726", "technetos", "eholk", "Mark-Simulacrum"] [[github]] orgs = ["rust-lang", "rust-lang-nursery"]