mirror of
https://github.com/GreptimeTeam/greptimedb.git
synced 2025-12-22 22:20:02 +00:00
29f11d7b7e
* ci: upgrade actions to avoid node16 deprecantion warning Signed-off-by: tison <wander4096@gmail.com> * try delete size label action Signed-off-by: tison <wander4096@gmail.com> * one more action Signed-off-by: tison <wander4096@gmail.com> --------- Signed-off-by: tison <wander4096@gmail.com>
37 lines
1.3 KiB
YAML
37 lines
1.3 KiB
YAML
name: "PR Doc Labeler"
|
|
on:
|
|
pull_request_target:
|
|
types: [opened, edited, synchronize, ready_for_review, auto_merge_enabled, labeled, unlabeled]
|
|
|
|
permissions:
|
|
pull-requests: write
|
|
contents: read
|
|
|
|
jobs:
|
|
triage:
|
|
if: ${{ github.repository == 'GreptimeTeam/greptimedb' }}
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- uses: github/issue-labeler@v3.4
|
|
with:
|
|
configuration-path: .github/doc-label-config.yml
|
|
enable-versioned-regex: false
|
|
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
|
sync-labels: 1
|
|
- name: create an issue in doc repo
|
|
uses: dacbd/create-issue-action@v1.2.1
|
|
if: ${{ github.event.action == 'opened' && contains(github.event.pull_request.body, '- [ ] This PR does not require documentation updates.') }}
|
|
with:
|
|
owner: GreptimeTeam
|
|
repo: docs
|
|
token: ${{ secrets.DOCS_REPO_TOKEN }}
|
|
title: Update docs for ${{ github.event.issue.title || github.event.pull_request.title }}
|
|
body: |
|
|
A document change request is generated from
|
|
${{ github.event.issue.html_url || github.event.pull_request.html_url }}
|
|
- name: Check doc labels
|
|
uses: docker://agilepathway/pull-request-label-checker:latest
|
|
with:
|
|
one_of: Doc update required,Doc not needed
|
|
repo_token: ${{ secrets.GITHUB_TOKEN }}
|