scripts : fix repos cloned with .git extension (#18669)

2026-01-07 22:35:34 +01:00
1 parent 7e16fef085
commit 5b8844ae53
@@ -34,6 +34,7 @@ url_origin=$(git config --get remote.origin.url) || {
 }

 org_repo=$(echo $url_origin | cut -d/ -f4-)
+org_repo=${org_repo%.git}

 echo "org/repo: $org_repo"