Merge branch 'main' into fix/run-profiles-ci-after-bot-merge

2026-09-22 08:22:58 +00:00 · 2026-09-21 18:32:58 +08:00
parent 8581df4a8a 162cf7fd4c
commit ced4a31cdb
29 changed files with 303 additions and 77 deletions
@@ -551,7 +551,7 @@ jobs:
      && github.event_name == 'pull_request_target'
    permissions:
      contents: read
-      pull-requests: read
+      pull-requests: write
      issues: write
    runs-on: ubuntu-latest
    timeout-minutes: 5
@@ -658,7 +658,7 @@ jobs:
      && github.event_name == 'pull_request_target'
    permissions:
      contents: read        # delegatable subtree, for file modes
-      pull-requests: read
+      pull-requests: write
      issues: write         # label + comment
    runs-on: ubuntu-latest
    timeout-minutes: 10