add labeler to the repo (#3609)

This commit is contained in:
Massimiliano Pippi 2022-11-21 16:19:25 +01:00 committed by GitHub
parent 78ec528e26
commit 2fadcf2859
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 17 additions and 0 deletions

2
.github/labeler.yml vendored Normal file
View File

@ -0,0 +1,2 @@
Proposal:
- proposals/text/*

15
.github/workflows/labeler.yml vendored Normal file
View File

@ -0,0 +1,15 @@
name: "Labeler"
on:
- pull_request_target
permissions:
contents: read
pull-requests: write
jobs:
triage:
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@v4
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"