fix: redirect user to the intented page #1
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: "[CI] Lint PR labels" | |
on: | |
# WARNING: we're using `pull_request_target` on this workflow. | |
# This is necessary so the `verify-pr-label-action` can work with forks, | |
# but it introduces a potential security risk, specially if we checkout | |
# code from the forks. | |
# | |
# DO NOT checkout code from forks never in this workflow1 | |
# | |
# @see https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#pull_request_target | |
pull_request_target: | |
branches-ignore: | |
- "chore/l10n*" | |
types: [opened, edited, synchronize, reopened, labeled, unlabeled] | |
concurrency: | |
group: ${{ github.workflow }}-${{ github.head_ref || github.ref }} | |
cancel-in-progress: true | |
permissions: | |
pull-requests: write | |
jobs: | |
check_label: | |
name: Check PR labels | |
runs-on: ubuntu-latest | |
steps: | |
- uses: jesusvasquez333/[email protected] | |
with: | |
github-token: "${{ secrets.GITHUB_TOKEN }}" | |
valid-labels: "type: feature, type: change, type: fix, type: removal, target: developer-experience, type: internal" | |
invalid-labels: "type: bug" | |
pull-request-number: "${{ github.event.pull_request.number }}" |