Google's tool for managing trees of git repos