diff --git a/scripts/pgit.sh b/scripts/pgit.sh
index 94b4a675..5c1d81c2 100644
--- a/scripts/pgit.sh
+++ b/scripts/pgit.sh
@@ -127,7 +127,7 @@ clone()
 				}
 				run_git -C $p pull $remotename master
 			else
-				set -x
+				# set -x
 				run_git clone ssh://$login@git.jannet.de/srv/git/$fromuser/proj/$p
 				run_git -C $p remote rename origin $remotename || fatal failed to rename remote in $p
 				run_git -C $p remote set-url --push $remotename no_push
@@ -135,7 +135,7 @@ clone()
 				run_git -C $p remote add origin $pushurl
 				run_git -C $p push origin master
 				run_git -C $p branch --set-upstream-to origin/master master
-				set +x
+				# set +x
 			fi
 			run_git -C $p submodule init || fatal git submodule init failed in $p
 			run_git -C $p submodule update || fatal git submodule update failed in $p