docs: public synchronized void removeRepositoryInfo(LogRepositoryManager manager) {
  		RepositoryInfo curRI = repositoryInfo.remove(manager);
  		if (curRI != null) {
  			curRI.setRespositorySpaceNeeded(0);
  		}
  	}