From 9612bd756b69ad66e03d578927aee08f457f3d8b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Eduardo=20S=C3=A1nchez=20Mu=C3=B1oz?= <eduardosm-dev@e64.io>
Date: Sun, 1 Feb 2026 19:45:14 +0100
Subject: [PATCH] Fix mirror.sh

Check for "gitlab" in the repository URL instead of the filtered reference
---
 mirror.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/mirror.sh b/mirror.sh
index 65a20f13..00d0d6d3 100755
--- a/mirror.sh
+++ b/mirror.sh
@@ -157,8 +157,10 @@ do_file() {
             # All git repositories we already use remove "v"s from the beginning
             # of branch/tag names in the tarball prefix
             # except for gitlab
-            if echo "${reference}" | grep -Eq "^v[0-9]" | grep -vq gitlab; then
-                prefix_ref=$(echo "${reference}" | sed "s/^v//")
+            if echo "${reference}" | grep -Eq "^v[0-9]"; then
+                if echo "${repo}" | grep -vq gitlab; then
+                    prefix_ref=$(echo "${reference}" | sed "s/^v//")
+                fi
             fi
             prefix=$(basename "${repo}" | sed "s/.git$//")-${prefix_ref}