From 63b607c8018fc1c9906fb51a27229dfc4842b0aa Mon Sep 17 00:00:00 2001 From: Felipe Monteiro Date: Mon, 17 Aug 2026 23:47:43 +0000 Subject: [PATCH 1/4] Update committee list in pull_requests.toml Remove qinheping, zhassan-aws, robdockins, and Eh2406; add btj and rafaelsamenezes. --- .github/pull_requests.toml | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/.github/pull_requests.toml b/.github/pull_requests.toml index e112e30f67ea7..b9174ed1d27ad 100644 --- a/.github/pull_requests.toml +++ b/.github/pull_requests.toml @@ -5,19 +5,17 @@ members = [ "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" ] From 3b83f4e1ef78de1a49fb1a118ea0dd8a365f583c Mon Sep 17 00:00:00 2001 From: Felipe Monteiro Date: Thu, 20 Aug 2026 17:52:14 +0000 Subject: [PATCH 2/4] Add lucasccordeiro to committee list --- .github/pull_requests.toml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/pull_requests.toml b/.github/pull_requests.toml index b9174ed1d27ad..a6545da671bb1 100644 --- a/.github/pull_requests.toml +++ b/.github/pull_requests.toml @@ -17,5 +17,6 @@ members = [ "rajath-mk", "thanhnguyen-aws", "btj", - "rafaelsamenezes" + "rafaelsamenezes", + "lucasccordeiro" ] From 0a6e050fd0bfb8e5b1a46a43bd564f40590435c3 Mon Sep 17 00:00:00 2001 From: Felipe Monteiro Date: Thu, 20 Aug 2026 18:04:18 +0000 Subject: [PATCH 3/4] Replace kani-devs with verify-rust-std-committee in CODEOWNERS --- .github/CODEOWNERS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 From 2d05701066180a2466fca420ac1805497296fd5e Mon Sep 17 00:00:00 2001 From: Felipe Monteiro Date: Fri, 21 Aug 2026 19:47:40 +0000 Subject: [PATCH 4/4] Remove adpaco-aws and add dkcumming to committee list --- .github/pull_requests.toml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/pull_requests.toml b/.github/pull_requests.toml index a6545da671bb1..6398021450786 100644 --- a/.github/pull_requests.toml +++ b/.github/pull_requests.toml @@ -3,7 +3,6 @@ members = [ "celinval", "rahulku", "pnkfelix", - "adpaco-aws", "feliperodri", "remi-delmas-3000", "tautschnig", @@ -18,5 +17,6 @@ members = [ "thanhnguyen-aws", "btj", "rafaelsamenezes", - "lucasccordeiro" + "lucasccordeiro", + "dkcumming" ]