2024-01-20 14:07:03 +00:00
|
|
|
name: Manage PR
|
|
|
|
|
on:
|
|
|
|
|
- pull_request_target
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
labeler:
|
|
|
|
|
permissions:
|
|
|
|
|
contents: read
|
|
|
|
|
pull-requests: write
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- name: Checkout master
|
|
|
|
|
uses: actions/checkout@v4
|
|
|
|
|
with:
|
|
|
|
|
path: master
|
|
|
|
|
- name: Checkout merge commit
|
|
|
|
|
uses: actions/checkout@v4
|
|
|
|
|
with:
|
|
|
|
|
path: merge
|
|
|
|
|
ref: "refs/pull/${{ github.event.number }}/merge"
|
|
|
|
|
- name: Generate label config
|
|
|
|
|
run: cd master && SCAN_DIR=../merge ./contrib/gen_label_config.sh
|
|
|
|
|
- name: Update labels
|
|
|
|
|
uses: actions/labeler@v5
|
|
|
|
|
with:
|
|
|
|
|
configuration-path: master/.github/labeler.yml
|
2024-04-25 22:49:57 +00:00
|
|
|
sync-labels: true
|
