update leadership of the infra team

rust-lang · Sep 8, 2023 · 985c849 · 985c849
1 parent 335b010
commit 985c849
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/teams/infra.toml b/teams/infra.toml
@@ -1,7 +1,7 @@
 name = "infra"
 
 [people]
-leads = ["pietroalbini"]
+leads = ["shepmaster", "jdno"]
 members = [
     "Mark-Simulacrum",
     "kennytm",