From 8d7dc75d70fd1dc8b38a2c0efdb8561764462674 Mon Sep 17 00:00:00 2001
From: Maxime JOURDAN - XANTHIO <contact@xanth.io>
Date: Tue, 2 Jul 2024 14:16:14 +0200
Subject: [PATCH] Better device name deletion method

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

diff --git a/.github/workflows/maintenance.yml b/.github/workflows/maintenance.yml
index f362472..982dd22 100644
--- a/.github/workflows/maintenance.yml
+++ b/.github/workflows/maintenance.yml
@@ -171,7 +171,11 @@ jobs:
                 echo "Device ${dev} is not supported"
               else
                 echo "Device ${dev} is already supported"
-                MISSINGS=(${MISSINGS[@]/${dev}})
+                for i in "${!MISSINGS[@]}""; do
+                  if [[ ${MISSINGS[i]} = ${dev} ]]; then
+                    unset 'MISSINGS[i]'
+                  fi
+                done
               fi
             done
             if [ 0 -ne ${#MISSINGS[@]} ]; then