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 1/2] 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:

From eb008750018c84e11e8dfcd14a077aeecf05cdc6 Mon Sep 17 00:00:00 2001
From: Nicola Soranzo <nicola.soranzo@earlham.ac.uk>
Date: Mon, 8 Jul 2024 16:52:29 +0100
Subject: [PATCH 2/2] Label issues with ``area/UI-UX`` only when both criteria
 match

---
 .github/labeler.yml | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/.github/labeler.yml b/.github/labeler.yml
index 898b95abbdf9..6536f646b6c1 100644
--- a/.github/labeler.yml
+++ b/.github/labeler.yml
@@ -109,12 +109,13 @@ area/toolshed:
       - lib/toolshed/**/*
       - templates/webapps/tool_shed/**/*
 area/UI-UX:
-  - changed-files:
-    - any-glob-to-any-file:
-      - client/src/**/*
-      - templates/**/*
-    - all-globs-to-all-files:
-      - '!client/src/api/schema/schema.ts'
+  - all:
+    - changed-files:
+      - any-glob-to-any-file:
+        - client/src/**/*
+        - templates/**/*
+      - all-globs-to-all-files:
+        - '!client/src/api/schema/schema.ts'
 area/util:
   - changed-files:
     - any-glob-to-any-file: