From 5b8844ae531d8ff09c1c00a2022293d5b674c787 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sigbj=C3=B8rn=20Skj=C3=A6ret?= Date: Wed, 7 Jan 2026 22:35:34 +0100 Subject: [PATCH] scripts : fix repos cloned with .git extension (#18669) --- scripts/pr2wt.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/pr2wt.sh b/scripts/pr2wt.sh index 22251339ac..36ccde2f34 100755 --- a/scripts/pr2wt.sh +++ b/scripts/pr2wt.sh @@ -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"