janware/jw-pkg
1
mirror of ssh://git.janware.com/srv/git/janware/proj/jw-pkg synced 2026-01-15 03:53:32 +01:00
Code Activity

pgit.sh: Rename other user's remote to user-xxx

Browse source 
Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2017-04-14 12:03:22 +00:00
commit 6a119077d9
1 changed files with 7 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

13
scripts/pgit.sh
View file

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