Assume that we're in the project directory for github_create_and_push (make this a convention).