From 41e51d4ab30843af8b821fde3ea2a42b27580feb Mon Sep 17 00:00:00 2001
From: Ning Sun <sunng@protonmail.com>
Date: Fri, 29 Dec 2023 20:17:34 +0800
Subject: [PATCH] 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
---
 .github/workflows/doc-label.yml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/.github/workflows/doc-label.yml b/.github/workflows/doc-label.yml
index 930134674abd..d9060c30bf34 100644
--- a/.github/workflows/doc-label.yml
+++ b/.github/workflows/doc-label.yml
@@ -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 }}