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

CISC · web-flow · commit 5b8844ae531d · 2026-01-07T22:35:34.000+01:00
diff --git 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"
 

Original file line number	Diff line number	Diff line change
`@@ -34,6 +34,7 @@ url_origin=$(git config --get remote.origin.url) \|\| {`
`34`	`34`	`}`
`35`	`35`
`36`	`36`	`org_repo=$(echo $url_origin \| cut -d/ -f4-)`
	`37`	`+org_repo=${org_repo%.git}`
`37`	`38`
`38`	`39`	`echo "org/repo: $org_repo"`
`39`	`40`