mirror of
https://github.com/discordjs/discord.js.git
synced 2026-03-10 08:33:30 +01:00
35 lines
873 B
YAML
35 lines
873 B
YAML
name: 'PR Triage'
|
|
on:
|
|
pull_request_target:
|
|
types:
|
|
- opened
|
|
- edited
|
|
- reopened
|
|
- synchronize
|
|
jobs:
|
|
label:
|
|
name: Label
|
|
if: github.event.action != 'edited'
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Label pull request
|
|
uses: actions/labeler@v5
|
|
with:
|
|
repo-token: '${{ secrets.GITHUB_TOKEN }}'
|
|
sync-labels: true
|
|
validate-title:
|
|
name: Validate title
|
|
if: github.event.action != 'synchronize'
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Validate pull request title
|
|
run: |
|
|
TITLE="${{ github.event.pull_request.title }}"
|
|
REGEX="^(revert: )?(feat|fix|docs|style|refactor|perf|test|workflow|build|ci|chore|types|wip)(\\(.+\\))?: .{1,72}$"
|
|
|
|
echo "Title: \"$TITLE\""
|
|
|
|
if [[ ! "$TITLE" =~ $REGEX ]]; then
|
|
exit 1
|
|
fi
|