. "$tool"/remote/lib.sh
git remote rm host || true
-git remote add host $vm_host:src/vm
+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 $vm_fqdn:src/vm
+git remote add local $local_ipv4:src/$local_hostname
git config --replace remote.local.push HEAD:refs/remotes/master
git submodule update --init