Adding the milestone to a PR requires issues: write permission

in addition to ``pull-requests: write``, see actions/github-script#255 .
nsoranzo · Jul 8, 2024 · 0ae7b23 · 0ae7b23
1 parent 9a658ae
commit 0ae7b23
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/maintenance_bot.yaml b/.github/workflows/maintenance_bot.yaml
@@ -8,6 +8,7 @@ jobs:
     if: github.repository_owner == 'galaxyproject'
     permissions:
       contents: read
+      issues: write
       pull-requests: write
     runs-on: ubuntu-latest
     env: