diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index 02c576aad6c1f..f4d1ffce5718a 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -1 +1 @@
-*   @model-checking/kani-devs
+*   @model-checking/verify-rust-std-committee
diff --git a/.github/pull_requests.toml b/.github/pull_requests.toml
index e112e30f67ea7..6398021450786 100644
--- a/.github/pull_requests.toml
+++ b/.github/pull_requests.toml
@@ -3,21 +3,20 @@ members = [
     "celinval",
     "rahulku",
     "pnkfelix",
-    "adpaco-aws",
     "feliperodri",
-    "zhassan-aws",
     "remi-delmas-3000",
-    "qinheping",
     "tautschnig",
     "patricklam",
     "ranjitjhala",
     "carolynzech",
-    "robdockins",
     "HuStmpHrrr",
-    "Eh2406",
     "jswrenn",
     "havelund",
     "jorajeev",
     "rajath-mk",
-    "thanhnguyen-aws"
+    "thanhnguyen-aws",
+    "btj",
+    "rafaelsamenezes",
+    "lucasccordeiro",
+    "dkcumming"
 ]