Git notes

To push all files to the private folder: git push -u origin master

To push the web content up to the gh-pages git subtree push --prefix _book origin gh-pages