chore: attempt to add doc issue in label task

GreptimeTeam · Dec 27, 2023 · c28cb59 · c28cb59
1 parent feec4e2
commit c28cb59
Showing 1 changed file with 11 additions and 0 deletions.
diff --git 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
+      if: contains(github.event.pull_request.labels.*.name, 'doc update required')
+      uses: dacbd/create-issue-action@main
+      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 }}