Fix mirror.sh

Check for "gitlab" in the repository URL instead of the filtered reference

Author: eduardosm

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}