public void merge(PluginTool tool, DomainFile domainFile, TaskListener taskListener) {
		ArrayList<DomainFile> list = new ArrayList<>();
		list.add(domainFile);
		merge(tool, list, taskListener);
	}
Merge the latest version in the repository with the given checked out
domain file. Upon completion of the merge, the domain file appears as
though the latest version was checked out.

@param tool tool that has the domain file opened
@param domainFile domain file where latest version will be merged into
@param taskListener listener that is notified when the merge task
           completes
Ghidra/Framework/Project/src/main/java/ghidra/framework/main/FrontEndTool.java