A lot of work went into figuring out how to sync a public and private docs repo.