and the git tools don't automatically propagate repo changes by default across a network
Reply on news.ycombinator.com