# NB 24.07.18 [ "$(git config --get remote.origin.url)" = "git@git.nbdom.net:nbdom.git" ] && git remote set-url origin git.nbdom.net:/home/git/nbdom.git
# NB 24.07.18 [ "$(git config --get remote.origin.url)" = "git@git.nbdom.net:pi.git" ] && git remote set-url origin git.nbdom.net:/home/git/pi.git
if [ "$(git config --get remote.origin.url)" = "git@big:wp" ]; then
+ echo "Update git url for git@big:wp to git@git.nbdom.net:wp.git"
git remote set-url origin git@git.nbdom.net:wp.git
nb_api_post_host_info "$preff.set-url" "git@git.nbdom.net:wp.git"
fi