mirror of
https://github.com/simple-icons/simple-icons.git
synced 2024-12-26 01:13:41 +02:00
d96126dca3
* Update workflow names Most importantly gives unique names to `create-release.yml` and `merge-release.yml`. Other than that, this attempts to improve and unify the names of all workflows. * Update release workflow names Co-authored-by: Álvaro Mondéjar <mondejar1994@gmail.com> Co-authored-by: Álvaro Mondéjar <mondejar1994@gmail.com>
51 lines
1.3 KiB
YAML
51 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
|