Create and push branches in reproduce-issue and update reproduction labels (#1541)

2026-06-05 09:57:14 +03:00
parent f40be80c4b
commit ebc2168ceb
3 changed files with 7 additions and 7 deletions
@@ -12,7 +12,7 @@ jobs:
      group: reproduce-issue-${{ github.event.issue.number }}
      cancel-in-progress: true
    permissions:
-      contents: read
+      contents: write
      issues: write
    steps:
      - name: Checkout repository