Pushing rest of documents that were not on GitHub