A repository for jgit