Clarification about "commit" and "push" terms

These should've been introduced in the slides at the beginning of the
workshop, but just in case they're unfamiliar...