private boolean checkForIndexMigration(File rootFile) {
		File indexMigrationMarkerFile = new File(rootFile, INDEX_MIGRATION_MARKER_FILE);
		if (indexMigrationMarkerFile.exists()) {
			indexMigrationMarkerFile.delete();
			return true;
		}
		return false;
	}
Create a new Repository at the given path; the directory has already
been created.
@param mgr repository manager
@param currentUser user creating the repository, or null if the
repository exists
@param rootFile root file for this repository
@param name repository name
@throws IOException if filesystem error occurs
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/Repository.java