Skip to content

Update URLs on LIVE DOCS #320

Update URLs on LIVE DOCS

Update URLs on LIVE DOCS #320

Workflow file for this run

name: Remove labels from merged PRs and issues
on:
pull_request_target:
types:
- closed
issues:
types:
- closed
permissions:
pull-requests: write
issues: write
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@b7118e4ba5dca74acf1059b3cb7660378ff9ab1a # v2
with:
token: ${{ secrets.GITHUB_TOKEN }}
labels: |
awaiting review(s)
in progress
question
help wanted
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@b7118e4ba5dca74acf1059b3cb7660378ff9ab1a # v2
with:
token: ${{ secrets.GITHUB_TOKEN }}
labels: |
in discussion
help wanted
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@b7118e4ba5dca74acf1059b3cb7660378ff9ab1a # v2
with:
token: ${{ secrets.GITHUB_TOKEN }}
labels: |
in discussion
in progress
help wanted