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

pietroalbini · web-flow · commit d9e694f45f83 · 2023-09-08T15:15:56.000+02:00
Update leadership of the infra team
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",
