A trivial repository for playing with git