Update endereços git server

main
Hugo Prata 6 years ago
parent 1211e67dde
commit 00583fca2f

@ -48,5 +48,5 @@ if [ -d $path/.git ]; then
git reset --hard origin/master git reset --hard origin/master
else else
echo "--- clone ---" echo "--- clone ---"
git clone https://denariu.net:9443/xx0003.git git clone ssh://git@prontolavar.no-ip.org:16501/srv/git/xx0003.git
fi fi

@ -10,5 +10,5 @@ if [ -d /d/executaveis/.git ]; then
git reset --hard origin/master git reset --hard origin/master
else else
echo "--- clone ---" echo "--- clone ---"
git clone https://denariu.net:9443/executaveis.git git clone ssh://git@prontolavar.no-ip.org:16501/srv/git/executaveis.git
fi fi
Loading…
Cancel
Save