Unverified Commit 0ae7b232 authored by Nicola Soranzo's avatar Nicola Soranzo
Browse files

Adding the milestone to a PR requires ``issues: write`` permission 

in addition to ``pull-requests: write``, see
https://github.com/actions/github-script/issues/255 .
parent 9a658ae8

.github/workflows/maintenance_bot.yaml

+1 −0
Original line number Diff line number Diff line
@@ -8,6 +8,7 @@ jobs: 
    if: github.repository_owner == 'galaxyproject'

    permissions:

      contents: read

      issues: write

      pull-requests: write

    runs-on: ubuntu-latest

    env: