Skip to content

Merge Discord servers into one article #937

Merge Discord servers into one article

Merge Discord servers into one article #937

Workflow file for this run

name: Label pull request
on:
pull_request_target:
branches:
- master
types:
- opened
jobs:
labeler:
permissions:
contents: read
pull-requests: write
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@v5