From 33fc4f1a1bfda120c3dbc8f4bd4db4780dd98720 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Viktor=20Sz=C3=A9pe?= <viktor@szepe.net>
Date: Mon, 25 Sep 2023 19:35:53 +0000
Subject: [PATCH] Exclude docblocks from double space search

---
 .github/workflows/reusable-integrity.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/reusable-integrity.yml b/.github/workflows/reusable-integrity.yml
index a03fd46..51bf63d 100644
--- a/.github/workflows/reusable-integrity.yml
+++ b/.github/workflows/reusable-integrity.yml
@@ -88,8 +88,9 @@ jobs:
         -
             name: "Look for multiple space characters in the middle of the line 🐌"
             run: |
-                # Exclude docblocks: grep -v -F '    * @'
-                ! git grep --perl-regexp --line-number -I -e '(?!^#)\S\s\s' \
+                # Exclude docblocks
+                ! git grep --perl-regexp --line-number -I \
+                    -e '(?!^#)\S\s\s' --and --not -e '    \* @' \
                     -- ':!:*.md' ':!:.github/**.yml'
         -
             # Move TODO-s into GitHub issues!