RepositoryProvider
.map(project, GitProvider.class.getName());
autoIgnoreDerivedResources(project, monitor);
project.refreshLocal(IResource.DEPTH_INFINITE,
new SubProgressMonitor(monitor, 50));
monitor.worked(10);
} else {
// TODO is this the right location?
if (GitTraceLocation.CORE.isActive())
GitTraceLocation.getTrace().trace(
GitTraceLocation.CORE.getLocation(),