Company news How we open sourced docs.github.com A lot of work went into figuring out how to sync a public and private docs repo.