A dummy training repository for newcomers to experiment with our git and GitHub workflow