Practice pushing to Github from the command line