File 0537-gh-Increase-permissions-for-pr-update.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0537-gh-Increase-permissions-for-pr-update.patch of Package erlang (Revision 54461a2357af3de1f765489d2fd0ee14)

Currently displaying revision 54461a2357af3de1f765489d2fd0ee14 , Show latest

From b31421d68fc5f227e1d1aa28b3f660ded0292d7a Mon Sep 17 00:00:00 2001
From: Lukas Larsson <lukas@erlang.org>
Date: Fri, 10 Nov 2023 11:35:55 +0100
Subject: [PATCH] gh: Increase permissions for pr-update

---
 .github/workflows/pr-comment.yaml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/pr-comment.yaml b/.github/workflows/pr-comment.yaml
index ff941e49d8..8128082172 100644
--- a/.github/workflows/pr-comment.yaml
+++ b/.github/workflows/pr-comment.yaml
@@ -16,6 +16,8 @@ jobs:
   pr-number:
     runs-on: ubuntu-20.04
     if: github.repository == 'erlang/otp'
+    permissions:
+      issues: read
     outputs:
       result: ${{ steps.pr-number.outputs.result }}
     steps:
@@ -33,6 +35,8 @@ jobs:
   starting-tests:
     runs-on: ubuntu-latest
     needs: pr-number
+    permissions:
+      issues: write
     if: github.event.action == 'requested' && needs.pr-number.outputs.result != ''
     steps:
       - uses: actions/checkout@v4.1.0
@@ -49,6 +53,8 @@ jobs:
     needs: pr-number
     ## Limit concurrency so that only one job deploys to erlang.github.io
     concurrency: erlang.github.io-deploy
+    permissions:
+      issues: write
     if: >-
           github.event.action == 'completed' &&
           needs.pr-number.outputs.result != '' &&
-- 
2.35.3

Places

File 0537-gh-Increase-permissions-for-pr-update.patch of Package erlang (Revision 54461a2357af3de1f765489d2fd0ee14)

Places