From e3469d0ac05ce195068f519d9c1cee39acdbaca8 Mon Sep 17 00:00:00 2001 From: Jan Lindemann Date: Fri, 11 Oct 2019 15:28:05 +0000 Subject: [PATCH] pgit.sh: Rename clone remote user-xxx to jw-xxx This looks more understandable for non-janware user cases Signed-off-by: Jan Lindemann --- scripts/pgit.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/pgit.sh b/scripts/pgit.sh index 40ccf30a..364871fd 100644 --- a/scripts/pgit.sh +++ b/scripts/pgit.sh @@ -132,7 +132,7 @@ clone() fi run_git -C $p submodule update --init --recursive || fatal git submodule update failed in $p else - local remotename="user-$fromuser" + local remotename="jw-$fromuser" if [ -d $p ]; then run_git -C $p remote | grep -q "^$remotename$" || { run_git -C $p remote add $remotename $pullurl