Note the git commands to push the repo to GitHub.