Merge pull request #1068 from rust-lang/pa-infra-leads

Update leadership of the infra team
rust-lang · Sep 8, 2023 · d9e694f · d9e694f
2 parents 335b010 + 985c849
commit d9e694f
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",