chore: attempt to add doc issue in label task (#3021)

* chore: attempt to add doc issue in label task

* ci: check pr body for doc issue creation
This commit is contained in:
Ning Sun
2023-12-29 20:17:34 +08:00
committed by GitHub
parent 11ae85b1cd
commit 41e51d4ab3

View File

@@ -18,3 +18,14 @@ jobs:
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: ${{ 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 }}