[Jenkinsfile] Add my Github ID to intern name list (dmlc#7516)

Co-authored-by: Hongzhi (Steve), Chen <[email protected]>
frozenbugs · Jul 12, 2024 · 44af4fc · 44af4fc
1 parent 945247e
commit 44af4fc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -158,7 +158,7 @@ def is_authorized(name) {
     'frozenbugs', 'peizhou001', 'zheng-da', 'czkkkkkk', 'thvasilo',
     // Intern:
     'keli-wen', 'caojy1998', 'RamonZhou', 'xiangyuzhi', 'Skeleton003', 'yxy235',
-    'hutiechuan', 'pyynb', 'az15240', 
+    'hutiechuan', 'pyynb', 'az15240', 'BowenYao18',
     // Friends:
     'nv-dlasalle', 'yaox12', 'chang-l', 'Kh4L', 'VibhuJawa', 'kkranen',
     'TristonC', 'mfbalin',