ci: add PR labeler
This commit is contained in:
parent
05ead19cff
commit
c4336f7bf9
4
.github/labeler.yml
vendored
Normal file
4
.github/labeler.yml
vendored
Normal file
@ -0,0 +1,4 @@
|
|||||||
|
# add changes-hitl label if any hitl scripts are changed
|
||||||
|
# REVIEW those changes before approving HITL deployment!
|
||||||
|
changes-hitl:
|
||||||
|
- any: [hitl/*]
|
12
.github/workflows/labeler.yml
vendored
Normal file
12
.github/workflows/labeler.yml
vendored
Normal file
@ -0,0 +1,12 @@
|
|||||||
|
name: "Pull Request Labeler"
|
||||||
|
on:
|
||||||
|
pull_request_target:
|
||||||
|
branches: [master]
|
||||||
|
|
||||||
|
jobs:
|
||||||
|
labeler:
|
||||||
|
runs-on: ubuntu-latest
|
||||||
|
steps:
|
||||||
|
- uses: actions/labeler@v3
|
||||||
|
with:
|
||||||
|
repo-token: "${{ secrets.GITHUB_TOKEN }}"
|
Loading…
Reference in New Issue
Block a user