Practicing using the command line to push a repository