chore: update CI_PERMISSIONS (#15212)

This commit is contained in:
Yineng Zhang
2025-12-15 15:09:05 -08:00
committed by GitHub
parent 61f362c694
commit 3ffa260474

View File

@@ -762,6 +762,13 @@
"reason": "top contributor",
"can_rerun_stage": true
},
"scottjlee": {
"can_tag_run_ci_label": true,
"can_rerun_failed_ci": true,
"cooldown_interval_minutes": 0,
"reason": "top contributor",
"can_rerun_stage": true
},
"sglang-bot": {
"can_tag_run_ci_label": true,
"can_rerun_failed_ci": true,