build: add robwormald to pullapprove (#23002)

PR Close #23002
2018-03-26 11:24:40 -07:00
parent a4e06b685b
commit b8f4e433d5
1 changed files with 2 additions and 0 deletions
@@ -310,6 +310,7 @@ groups:
    users:
      - andrewseguin #primary
      - gkalpak
+      - robwormald
      - IgorMinar #fallback
      - mhevery #fallback

@@ -365,4 +366,5 @@ groups:
      - petebacondarwin
      - gkalpak
      - IgorMinar
+      - robwormald
      - mhevery #fallback