practicing pushing a document to a repo on Github