From 0ae7b23232d7feab03c9f86390fd867c42d18a44 Mon Sep 17 00:00:00 2001
From: Nicola Soranzo <nicola.soranzo@earlham.ac.uk>
Date: Mon, 8 Jul 2024 19:16:08 +0100
Subject: [PATCH] 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 .
---
 .github/workflows/maintenance_bot.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/maintenance_bot.yaml b/.github/workflows/maintenance_bot.yaml
index b1f5cac1db20..1daa3898769d 100644
--- 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: