Update pull_requests.toml

qinheping · Nov 14, 2024 · ca3e13d · ca3e13d
1 parent bd56a76
commit ca3e13d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/pull_requests.toml b/.github/pull_requests.toml
@@ -12,5 +12,7 @@ members = [
     "jaisnan",
     "patricklam",
     "ranjitjhala",
-    "carolynzech"
+    "carolynzech",
+    "robdockins",
+    "HuStmpHrrr"
 ]