diff --git a/scripts/pgit.sh b/scripts/pgit.sh index f5c6b5a7..59ce78e2 100644 --- a/scripts/pgit.sh +++ b/scripts/pgit.sh @@ -73,7 +73,7 @@ clone() for p in $projects; do local pullurl=ssh://$login@git.jannet.de/srv/git/$fromuser/proj/$p local pushurl=ssh://$login@git.jannet.de/srv/git/$login/proj/$p - marker "pulling $p from user $fromuser" + #marker "pulling $p from user $fromuser" if [ "$fromuser" = "$login" ]; then if [ -d $p ]; then run_git -C $p pull @@ -113,7 +113,7 @@ diff() config cd $pdir for d in $pdirs; do - marker $d + # marker $d run_git -C $d diff --src-prefix=a/$d/ --dst-prefix=b/$d/ "$@" done )}