Add infra-admins to the bors repo

Kobzol · Kobzol · commit 6058b2a12d3b · 2025-07-10T16:13:07.000+02:00
diff --git a/repos/rust-lang/bors.toml b/repos/rust-lang/bors.toml
@@ -5,6 +5,8 @@ bots = ["rustbot", "renovate"]
 
 [access.teams]
 infra = "write"
+# So that infra admins can approve production deployments of bors
+infra-admins = "write"
 infra-bors = "write"
 
 [[branch-protections]]
