2021-04-08 02:15:11 +02:00
|
|
|
name: Remove Outdated Labels
|
2020-12-16 21:59:24 +02:00
|
|
|
on:
|
|
|
|
pull_request_target:
|
|
|
|
types:
|
|
|
|
- closed
|
|
|
|
issues:
|
|
|
|
types:
|
|
|
|
- closed
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
remove-merged-pr-labels:
|
|
|
|
name: Remove merged pull request labels
|
|
|
|
if: github.event.pull_request.merged
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2022-03-08 13:11:12 +02:00
|
|
|
- uses: mondeja/remove-labels-gh-action@v1
|
2020-12-16 21:59:24 +02:00
|
|
|
with:
|
|
|
|
token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
labels: |
|
2023-12-05 14:50:14 +02:00
|
|
|
assessing
|
2020-12-16 21:59:24 +02:00
|
|
|
awaiting reply
|
|
|
|
duplicate
|
|
|
|
in discussion
|
|
|
|
invalid
|
|
|
|
out of scope
|
|
|
|
pending
|
2023-12-05 14:50:14 +02:00
|
|
|
permission required
|
2020-12-16 21:59:24 +02:00
|
|
|
won't add
|
|
|
|
remove-closed-pr-labels:
|
|
|
|
name: Remove closed pull request labels
|
|
|
|
if: github.event_name == 'pull_request_target' && (! github.event.pull_request.merged)
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2022-03-08 13:11:12 +02:00
|
|
|
- uses: mondeja/remove-labels-gh-action@v1
|
2020-12-16 21:59:24 +02:00
|
|
|
with:
|
|
|
|
token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
labels: |
|
|
|
|
in discussion
|
|
|
|
pending
|
2023-12-05 14:50:14 +02:00
|
|
|
assessing
|
2020-12-16 21:59:24 +02:00
|
|
|
remove-closed-issue-labels:
|
|
|
|
name: Remove closed issue labels
|
|
|
|
if: github.event.issue.state == 'closed'
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2022-03-08 13:11:12 +02:00
|
|
|
- uses: mondeja/remove-labels-gh-action@v1
|
2020-12-16 21:59:24 +02:00
|
|
|
with:
|
|
|
|
token: ${{ secrets.GITHUB_TOKEN }}
|
|
|
|
labels: |
|
|
|
|
in discussion
|
|
|
|
pending
|
2023-12-05 14:50:14 +02:00
|
|
|
assessing
|