Fix mirror.sh

Check for "gitlab" in the repository URL instead of the filtered reference
This commit is contained in:
Eduardo Sánchez Muñoz 2026-02-01 19:45:14 +01:00
parent b237c6f106
commit 9612bd756b

View file

@ -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}