Merge pull request #571 from eduardosm/fix-mirror.sh

Fix mirror.sh
2026-03-02 01:18:08 +01:00 · 2026-02-04 22:46:57 +00:00 · 2026-02-04 22:46:57 +00:00 · 3ceae57996
commit 3ceae57996
parent 385c0c0732 9612bd756b
1 changed files with 4 additions and 2 deletions
--- a/mirror.sh
+++ b/mirror.sh
@ -157,9 +157,11 @@ 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
+            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}

            (