#!/bin/sh -eu tool=$(readlink -e "${0%/*}/..") . "$tool"/remote/lib.sh git remote rm host || true 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_ipv4:src/$local_hostname git config --replace remote.local.push HEAD:refs/remotes/master git submodule update --init