a git repository, used for simple examples