How we open sourced docs.github.com

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