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

diff --git a/scripts/pr2wt.sh b/scripts/pr2wt.sh
index 22251339ac42b668bc2a1cd94e23c208a999ea7f..36ccde2f34e832ea07bf28cd4defda272d969d72 100755 (executable)
--- 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"