Do not close the repository, getRepositoryCache().clear() will do it53/172553/1
commit6b1e4f729ddd590ab23d5ee00c3e0933597143a2
authorlgoubet <laurent.goubet@obeo.fr>
Thu, 19 Nov 2020 15:34:08 +0000 (19 16:34 +0100)
committerlgoubet <laurent.goubet@obeo.fr>
Thu, 19 Nov 2020 15:34:08 +0000 (19 16:34 +0100)
treee4ba17aa89114028bda05e5ad8058146d1e1cb16
parente523511d615f4b9fe546867d303f7a645e4f44af
Do not close the repository, getRepositoryCache().clear() will do it

calling "close" twice on the same repository is considered a failured
by JGit...

Change-Id: I1852cf1bcc03458e654588d28dcb957b4a66f89b
plugins/org.eclipse.emf.compare.ide.ui.tests.git.framework/src/org/eclipse/emf/compare/ide/ui/tests/git/framework/internal/statements/InternalGitTestSupport.java