Update pull_requests.toml (model-checking#164)

qinheping · web-flow · commit 83e04a0d0863 · 2024-11-14T09:37:22.000-05:00
@robdockins and @HuStmpHrrr will help to review PRs of adding contracts and proof harnesses. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
diff --git a/.github/pull_requests.toml b/.github/pull_requests.toml
@@ -12,5 +12,7 @@ members = [
     "jaisnan",
     "patricklam",
     "ranjitjhala",
-    "carolynzech"
+    "carolynzech",
+    "robdockins",
+    "HuStmpHrrr"
 ]

Original file line number	Diff line number	Diff line change
`@@ -12,5 +12,7 @@ members = [`
`12`	`12`	`"jaisnan",`
`13`	`13`	`"patricklam",`
`14`	`14`	`"ranjitjhala",`
`15`		`- "carolynzech"`
	`15`	`+ "carolynzech",`
	`16`	`+ "robdockins",`
	`17`	`+ "HuStmpHrrr"`
`16`	`18`	`]`