From c8dd9c1ca3d205540617aecd7176cb84c31896dd Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Mon, 6 Jan 2025 22:54:26 +0100
Subject: [PATCH] fix

---
 .github/workflows/maintenance-intent.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/maintenance-intent.yml b/.github/workflows/maintenance-intent.yml
index 99db14ddf54..7143b48bd22 100644
--- a/.github/workflows/maintenance-intent.yml
+++ b/.github/workflows/maintenance-intent.yml
@@ -24,7 +24,7 @@ jobs:
             echo "here2 $bn"
             if [ $bn = "opam" ]; then
               echo "here3 $bn"
-              maint_int_present=$((grep "^x-maintenance-intent: " ${file} > /dev/null ; echo 1) || echo 0)
+              maint_int_present=$(grep "^x-maintenance-intent: " ${file} | wc -l || true)
               echo "here4 $maint_int_present"
               if [ "$maint_int_present" -eq 0 ]; then
                 echo "here5 $maint_int_present"