Add JGitUtil#withGit() and use it to release repository resources
certainly.