pgit.sh: Reduce verbosity

Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2018-03-06 14:45:45 +00:00
commit fce5e7b8c1

View file

@ -127,7 +127,7 @@ clone()
} }
run_git -C $p pull $remotename master run_git -C $p pull $remotename master
else else
set -x # set -x
run_git clone ssh://$login@git.jannet.de/srv/git/$fromuser/proj/$p 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 rename origin $remotename || fatal failed to rename remote in $p
run_git -C $p remote set-url --push $remotename no_push 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 remote add origin $pushurl
run_git -C $p push origin master run_git -C $p push origin master
run_git -C $p branch --set-upstream-to origin/master master run_git -C $p branch --set-upstream-to origin/master master
set +x # set +x
fi fi
run_git -C $p submodule init || fatal git submodule init failed in $p 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 run_git -C $p submodule update || fatal git submodule update failed in $p