From 151f34bdc639999e5ce98384e666080242cdeaa9 Mon Sep 17 00:00:00 2001 From: Jan David Date: Tue, 20 Feb 2024 14:37:30 +0100 Subject: [PATCH] Rename keyword-generics-initiative repository --- repos/rust-lang/effects-initiative.toml | 7 +++++++ repos/rust-lang/keyword-generics-initiative.toml | 7 ------- 2 files changed, 7 insertions(+), 7 deletions(-) create mode 100644 repos/rust-lang/effects-initiative.toml delete mode 100644 repos/rust-lang/keyword-generics-initiative.toml diff --git a/repos/rust-lang/effects-initiative.toml b/repos/rust-lang/effects-initiative.toml new file mode 100644 index 000000000..6c14cca6a --- /dev/null +++ b/repos/rust-lang/effects-initiative.toml @@ -0,0 +1,7 @@ +org = "rust-lang" +name = "effects-initiative" +description = "Public repository for the Rust effects initiative" +bots = [] + +[access.teams] +initiative-keyword-generics = "write" diff --git a/repos/rust-lang/keyword-generics-initiative.toml b/repos/rust-lang/keyword-generics-initiative.toml deleted file mode 100644 index 0bdb514c4..000000000 --- a/repos/rust-lang/keyword-generics-initiative.toml +++ /dev/null @@ -1,7 +0,0 @@ -org = "rust-lang" -name = "keyword-generics-initiative" -description = "Public repository for the Rust keyword generics initiative" -bots = [] - -[access.teams] -initiative-keyword-generics = "write"