pgit.sh: Rename clone remote user-xxx to jw-xxx

This looks more understandable for non-janware user cases

Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2019-10-11 15:28:05 +00:00
commit e3469d0ac0

View file

@ -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