A playground for jGit