more comprehensive coverage of git/github commands and workflow

The example git/github workflow lecture may not need audio -- it's possible we could just use it as a reference. Let's chat about it tomorrow.