Getting (re)acquainted with using git on the command line to push to GitHub.