remote/git-configure

   1 #!/bin/sh -eu
   2 tool=$(readlink -e "${0%/*}/..")
   3 . "$tool"/remote/lib.sh
   4
   5 git remote rm host || true
   6 git remote add host $local_host:src/$local_hostname
   7 git config --replace remote.host.push HEAD:refs/remotes/master
   8 git remote rm local || true
   9 git remote add local $local_ipv4:src/$local_hostname
  10 git config --replace remote.local.push HEAD:refs/remotes/master
  11 git submodule update --init