Merge pull request #1766 from pietroalbini/pa-ci-mirrors

Mark-Simulacrum · web-flow · commit d7b61e0c6752 · 2025-04-05T13:23:53.000Z
Create ci-mirrors repo
diff --git a/people/PartiallyUntyped.toml b/people/PartiallyUntyped.toml
@@ -1,5 +1,5 @@
 name = "Quinn Sinclair"
-github = "m-rph"
+github = "PartiallyUntyped"
 github-id = 52372765
 zulip-id = 666012
 email = "me@m-rph.dev"
diff --git a/repos/rust-lang/ci-mirrors.toml b/repos/rust-lang/ci-mirrors.toml
@@ -0,0 +1,8 @@
+org = "rust-lang"
+name = "ci-mirrors"
+description = "Upload files to Rust's CI mirrors"
+homepage = "https://ci-mirrors.rust-lang.org"
+bots = []
+
+[access.teams]
+infra = "write"
diff --git a/teams/clippy-contributors.toml b/teams/clippy-contributors.toml
@@ -9,7 +9,7 @@ members = [
     "pitaj",
 ]
 alumni = [
-    "m-rph",
+    "PartiallyUntyped",
 ]
 
 [[github]]
