git remote add host $local_host:src/$local_hostname
git config --replace remote.host.push HEAD:refs/remotes/master
git remote rm local || true
-git remote add local $local_fqdn:src/$local_hostname
+git remote add local $local_ipv4:src/$local_hostname
git config --replace remote.local.push HEAD:refs/remotes/master
git submodule update --init