Using git to teach git