An example of the use of git for education.