A repository I can use as an example when teaching people how to use git.