Some shell scripts to assimilate a machine into being a git-pushable docker host.