mirror of
https://github.com/GreptimeTeam/greptimedb.git
synced 2026-01-06 13:22:57 +00:00
32 lines
1.1 KiB
YAML
32 lines
1.1 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.3
|
|
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@main
|
|
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 }}
|