Add "ranjitjhala" and "carolynzech" to commitee (#68)

Add "ranjitjhala" and "carolynzech" to commitee toml By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
model-checking · Aug 22, 2024 · 957d2bb · 957d2bb
1 parent b3fb221
commit 957d2bb
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/pull_requests.toml b/.github/pull_requests.toml
@@ -10,5 +10,7 @@ members = [
     "qinheping",
     "tautschnig",
     "jaisnan",
-    "patricklam"
+    "patricklam",
+    "ranjitjhala",
+    "carolynzech"
 ]