I think the idea of github is to integrate the two... so people can suggest changes on Github instead of through the docs site directly.
It's the same idea with this website, if users notice spelling or any other problems, they can do a pull request or post it as an issue to github for us to update the site
It's the same idea with this website, if users notice spelling or any other problems, they can do a pull request or post it as an issue to github for us to update the site