diff --git a/.github/pull_requests.toml b/.github/pull_requests.toml index 45a38b3cc2307..7c50848653fef 100644 --- a/.github/pull_requests.toml +++ b/.github/pull_requests.toml @@ -12,5 +12,7 @@ members = [ "jaisnan", "patricklam", "ranjitjhala", - "carolynzech" + "carolynzech", + "robdockins", + "HuStmpHrrr" ]