The open-source repo for docs.github.com