From d43c638515791d4336b2cf8e41ea60a6da515800 Mon Sep 17 00:00:00 2001
From: Ning Sun <sunng@protonmail.com>
Date: Mon, 29 Jan 2024 15:09:11 +0800
Subject: [PATCH] ci: merge doc label actor and checker tasks (#3252)

---
 .github/workflows/doc-label.yml              |  5 +++++
 .github/workflows/user-doc-label-checker.yml | 19 -------------------
 2 files changed, 5 insertions(+), 19 deletions(-)
 delete mode 100644 .github/workflows/user-doc-label-checker.yml

diff --git a/.github/workflows/doc-label.yml b/.github/workflows/doc-label.yml
index 4e547c9b80..18a8c26444 100644
--- a/.github/workflows/doc-label.yml
+++ b/.github/workflows/doc-label.yml
@@ -29,3 +29,8 @@ jobs:
         body: |
           A document change request is generated from
           ${{ github.event.issue.html_url || github.event.pull_request.html_url }}
+    - name: Check doc labels
+      uses: docker://agilepathway/pull-request-label-checker:latest
+      with:
+        one_of: Doc update required,Doc not needed
+        repo_token: ${{ secrets.GITHUB_TOKEN }}
diff --git a/.github/workflows/user-doc-label-checker.yml b/.github/workflows/user-doc-label-checker.yml
deleted file mode 100644
index f1c66e02c2..0000000000
--- a/.github/workflows/user-doc-label-checker.yml
+++ /dev/null
@@ -1,19 +0,0 @@
-name: Check user doc labels
-on:
-  pull_request:
-    types:
-      - opened
-      - reopened
-      - labeled
-      - unlabeled
-
-jobs:
-
-  check_labels:
-    name: Check doc labels
-    runs-on: ubuntu-latest
-    steps:
-      - uses: docker://agilepathway/pull-request-label-checker:latest
-        with:
-          one_of: Doc update required,Doc not needed
-          repo_token: ${{ secrets.GITHUB_TOKEN }}