ADMIN_USERS = [
    "dmarting@google.com",
    "dslomov@google.com",
    "kchodorow@google.com",
    "lberki@google.com",
]

@@ -115,10 +115,36 @@
 e.com%22,%0A
+    %22pcloudy@google.com%22,%0A
 %5D%0A

Add pcloudy as ci admin