chore: Update milestone action and fix permissions (#13583)

This commit is contained in:
Sven Rebhan 2023-07-10 17:21:38 +02:00 committed by GitHub
parent 2e3adbd520
commit bc987b909b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 1 deletions

View File

@ -1,8 +1,12 @@
name: milestones
on: on:
pull_request: pull_request:
types: types:
- closed - closed
permissions:
issues: write
jobs: jobs:
milestone_job: milestone_job:
if: github.event.pull_request.merged == true if: github.event.pull_request.merged == true
@ -12,7 +16,7 @@ jobs:
- name: Checkout code - name: Checkout code
uses: actions/checkout@v3 uses: actions/checkout@v3
- name: Assign milestone to PR - name: Assign milestone to PR
uses: srebhan/label-milestone-action@v1.0.0 uses: srebhan/label-milestone-action@v1.0.1
id: assign-milestone id: assign-milestone
with: with:
repo-token: ${{ secrets.GITHUB_TOKEN }} repo-token: ${{ secrets.GITHUB_TOKEN }}