Merge pull request #5435 from jbampton/add-github-pr-labeler

Add the pull request labeler Action
This commit is contained in:
Yukihiro "Matz" Matsumoto
2023-04-23 23:50:06 +09:00
committed by GitHub
2 changed files with 38 additions and 0 deletions
+24
View File
@@ -0,0 +1,24 @@
benchmark:
- benchmark/**/*
build:
- Makefile
- Rakefile
- build_config/**/*
- lib/**/*
- tasks/**/*
core:
- include/**/*
- mrblib/**/*
- src/**/*
- test/**/*
doc:
- CONTRIBUTING.md
- README.md
- doc/**/*
- examples/**/*
github:
- .github/**/*
mrbgems:
- mrbgems/**/*
oss-fuzz:
- oss-fuzz/**/*
+14
View File
@@ -0,0 +1,14 @@
name: Pull Request Labeler
on:
- pull_request_target
jobs:
triage:
permissions:
contents: read
pull-requests: write
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@v4
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
sync-labels: true