Add infra-admins explicitly to sync-team

Kobzol · Kobzol · commit 588e284aa133 · 2025-03-07T09:36:10.000+01:00
diff --git a/repos/rust-lang/sync-team.toml b/repos/rust-lang/sync-team.toml
@@ -5,6 +5,7 @@ bots = []
 
 [access.teams]
 infra = "write"
+infra-admins = "admin"
 
 [[branch-protections]]
 pattern = "master"
