ci: check pr body for doc issue creation

GreptimeTeam · Dec 29, 2023 · 8ec62d7 · 8ec62d7
1 parent c28cb59
commit 8ec62d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/doc-label.yml b/.github/workflows/doc-label.yml
@@ -19,8 +19,8 @@ jobs:
         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
+      if: ${{ contains(github.event.pull_request.body, '- [ ]  This PR does not require documentation updates.') }}
       with:
         owner: GreptimeTeam
         repo: docs