From e97a2fecd3ade4379d0854b2ff5771088151f211 Mon Sep 17 00:00:00 2001
From: David Li <li.davidm96@gmail.com>
Date: Thu, 13 Mar 2025 09:40:42 +0900
Subject: [PATCH] MINOR: Add missing permission to milestone assignment bot

---
 .github/workflows/dev_pr.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/dev_pr.yml b/.github/workflows/dev_pr.yml
index 34b3363c50..7352137b09 100644
--- a/.github/workflows/dev_pr.yml
+++ b/.github/workflows/dev_pr.yml
@@ -80,5 +80,9 @@ jobs:
         if: '! github.event.pull_request.draft'
         env:
           GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        permissions:
+          contents: read
+          issues: write
+          pull-requests: write
         run: |
           ./.github/workflows/dev_pr_milestone.sh "${GITHUB_REPOSITORY}" ${{ github.event.number }}