ProGit is a light-weight git-centered forge based on pygit2.