Skip to content

Commit 7dd523e

Browse files
authored
Add permissions to the github workflow that creates a PR for merging main into develop (#5362)
1 parent 7fea049 commit 7dd523e

File tree

1 file changed

+7
-0
lines changed

1 file changed

+7
-0
lines changed

.github/workflows/merge_main_to_develop.yml

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,15 @@ on:
55
branches:
66
- "main"
77

8+
concurrency:
9+
group: ${{ github.ref }}-sync
10+
cancel-in-progress: true
11+
812
jobs:
913
pull-request:
14+
permissions:
15+
contents: read
16+
pull-requests: write
1017
runs-on: ubuntu-latest
1118
steps:
1219
- name: Checkout

0 commit comments

Comments
 (0)