From 6a119077d9f63790bb42e15d6e5c2422e1f1819e Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Fri, 14 Apr 2017 12:03:22 +0000 Subject: [PATCH] pgit.sh: Rename other user's remote to user-xxx Signed-off-by: Jan Lindemann --- scripts/pgit.sh | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/scripts/pgit.sh b/scripts/pgit.sh index f465fd49..a6e3aaf8 100644 --- a/scripts/pgit.sh +++ b/scripts/pgit.sh @@ -77,17 +77,18 @@ clone() git -C $p submodule update || fatal git submodule update failed in `pwd` fi else + local remotename="user-$fromuser" if [ -d $p ]; then - git -C $p remote | grep -q "^$fromuser$" || { - git -C $p remote add $fromuser $pullurl - git -C $p remote set-url --push $fromuser no_push + git -C $p remote | grep -q "^$remotename$" || { + git -C $p remote add $remotename $pullurl + git -C $p remote set-url --push $remotename no_push } - git -C $p pull $fromuser master + git -C $p pull $remotename master else set -x git clone ssh://$login@git.jannet.de/srv/git/$fromuser/proj/$p - git -C $p remote rename origin $fromuser || fatal failed to rename remote in `pwd` - git -C $p remote set-url --push $fromuser no_push + git -C $p remote rename origin $remotename || fatal failed to rename remote in `pwd` + git -C $p remote set-url --push $remotename no_push $git_srv_admin -u $login -j create-personal-project $p git -C $p remote add origin $pushurl git -C $p push origin master