mirror of
https://github.com/simple-icons/simple-icons.git
synced 2024-12-16 01:10:30 +02:00
Add permissions
to Remove Labels workflow (#11051)
This commit is contained in:
parent
5c82f78a0d
commit
346d4743ad
11
.github/workflows/remove-labels.yml
vendored
11
.github/workflows/remove-labels.yml
vendored
@ -1,12 +1,17 @@
|
|||||||
name: Remove Outdated Labels
|
name: Remove Outdated Labels
|
||||||
|
|
||||||
on:
|
on:
|
||||||
pull_request_target:
|
pull_request:
|
||||||
types:
|
types:
|
||||||
- closed
|
- closed
|
||||||
issues:
|
issues:
|
||||||
types:
|
types:
|
||||||
- closed
|
- closed
|
||||||
|
|
||||||
|
permissions:
|
||||||
|
issues: write
|
||||||
|
pull-requests: write
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
remove-merged-pr-labels:
|
remove-merged-pr-labels:
|
||||||
name: Remove merged pull request labels
|
name: Remove merged pull request labels
|
||||||
@ -31,9 +36,10 @@ jobs:
|
|||||||
pending
|
pending
|
||||||
permission required
|
permission required
|
||||||
won't add
|
won't add
|
||||||
|
|
||||||
remove-closed-pr-labels:
|
remove-closed-pr-labels:
|
||||||
name: Remove closed pull request labels
|
name: Remove closed pull request labels
|
||||||
if: github.event_name == 'pull_request_target' && (! github.event.pull_request.merged)
|
if: github.event_name == 'pull_request' && (! github.event.pull_request.merged)
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
steps:
|
steps:
|
||||||
- uses: actions/create-github-app-token@v1
|
- uses: actions/create-github-app-token@v1
|
||||||
@ -48,6 +54,7 @@ jobs:
|
|||||||
in discussion
|
in discussion
|
||||||
pending
|
pending
|
||||||
assessing
|
assessing
|
||||||
|
|
||||||
remove-closed-issue-labels:
|
remove-closed-issue-labels:
|
||||||
name: Remove closed issue labels
|
name: Remove closed issue labels
|
||||||
if: github.event.issue.state == 'closed'
|
if: github.event.issue.state == 'closed'
|
||||||
|
Loading…
Reference in New Issue
Block a user