From fce5e7b8c1a5a72a52fea869281837cf03ce910b Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Tue, 6 Mar 2018 14:45:45 +0000 Subject: [PATCH] pgit.sh: Reduce verbosity Signed-off-by: Jan Lindemann --- scripts/pgit.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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