From ca3e13dbfac0d3aef3cbbb854ee63e95d4be222c Mon Sep 17 00:00:00 2001 From: Qinheping Hu Date: Wed, 13 Nov 2024 23:43:06 -0600 Subject: [PATCH] Update pull_requests.toml --- .github/pull_requests.toml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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" ]