[Doc] Update Jenkinsfile (#5715)

154b93c7 · keli-wen · GitHub · ce66280d · 154b93c7
Unverified Commit 154b93c7 authored May 19, 2023 by keli-wen Committed by GitHub May 19, 2023
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

Jenkinsfile Jenkinsfile +1 -0

No files found.
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -128,6 +128,7 @@ def is_authorized(name) {
              'bgawrych', 'itaraban', 'daniil-sizov', 'anko-intel', 'Kacper-Pietkun',
              'hankaj', 'agrabows', 'DominikaJedynak', 'RafLit',
              'VoVAllen',
+              'keli-wen',
              ]
  return (name in devs)
 }