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: |
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"
 ]