From f7e689f19271af775b87318f3a91dc37f7a78252 Mon Sep 17 00:00:00 2001
From: William Harrison <87287585+wdhdev@users.noreply.github.com>
Date: Thu, 6 Mar 2025 19:37:25 +0800
Subject: [PATCH 1/2] remove `_gh-is-a-dev-docs-o`

---
 util/excepted.json | 1 -
 1 file changed, 1 deletion(-)

diff --git a/util/excepted.json b/util/excepted.json
index fd68638d8..9f7268d2e 100644
--- a/util/excepted.json
+++ b/util/excepted.json
@@ -1,7 +1,6 @@
 [
     "_discord",
     "_psl",
-    "_gh-is-a-dev-docs-o",
     "_gh-is-a-dev-o",
     "_github-pages-challenge-is-a-dev"
 ]

From dfe7a94acddeac0c1a2b248948e87fda4dfcce4a Mon Sep 17 00:00:00 2001
From: William Harrison <87287585+wdhdev@users.noreply.github.com>
Date: Thu, 6 Mar 2025 20:01:20 +0800
Subject: [PATCH 2/2] Update ci.yml

---
 .github/workflows/ci.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6ee78b129..c9d669ede 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -31,6 +31,12 @@ jobs:
               if: github.event_name == 'pull_request'
               run: echo "PR_AUTHOR=${{ github.event.pull_request.user.login }}" >> $GITHUB_ENV
 
+            - name: Get PR labels
+              if: github.event_name == 'pull_request'
+              run: |
+                  LABELS=$(jq -c '[.pull_request.labels[].name]' <<< '${{ toJson(github.event) }}')
+                  echo "PR_LABELS=$LABELS" >> $GITHUB_ENV
+
             - name: Get changed files
               if: github.event_name == 'pull_request'
               run: |