15-shell recording

The git operations I demoed in lecture 15.