mirror of
https://github.com/simple-icons/simple-icons.git
synced 2024-11-16 00:59:07 +02:00
ee4e8e820b
* Add workflow to remove outdated labels * Use 'pull_request_target' event instead of 'pull_request' * Remove 'pull_request_target' event comment * Add 'pending' label to closed pulls
53 lines
1.3 KiB
YAML
53 lines
1.3 KiB
YAML
name: Remove outdated labels
|
|
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:
|
|
- uses: mondeja/remove-labels-gh-action@v1.0.0
|
|
with:
|
|
token: ${{ secrets.GITHUB_TOKEN }}
|
|
labels: |
|
|
awaiting reply
|
|
changes requested
|
|
duplicate
|
|
in discussion
|
|
invalid
|
|
out of scope
|
|
pending
|
|
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:
|
|
- uses: mondeja/remove-labels-gh-action@v1.0.0
|
|
with:
|
|
token: ${{ secrets.GITHUB_TOKEN }}
|
|
labels: |
|
|
in discussion
|
|
pending
|
|
|
|
remove-closed-issue-labels:
|
|
name: Remove closed issue labels
|
|
if: github.event.issue.state == 'closed'
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: mondeja/remove-labels-gh-action@v1.0.0
|
|
with:
|
|
token: ${{ secrets.GITHUB_TOKEN }}
|
|
labels: |
|
|
in discussion
|
|
pending
|
|
tracking
|