RepositoryHandle: adapt to jgit API changes in Repository