[CI] add new into authorized user group

1313067e · Rhett Ying · GitHub · aa6c542a · 1313067e
Unverified Commit 1313067e authored Mar 07, 2023 by Rhett Ying Committed by GitHub Mar 07, 2023
Show whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

Jenkinsfile Jenkinsfile +1 -0

No files found.
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -124,6 +124,7 @@ def is_authorized(name) {
              'hetong007', 'kylasa', 'frozenbugs', 'peizhou001', 'zheng-da',
              'czkkkkkk',
              'nv-dlasalle', 'yaox12', 'chang-l', 'Kh4L', 'VibhuJawa',
+              'kkranen',
              'VoVAllen',
              ]
  return (name in devs)