a repository to play with git