An example of the use of git and github.