Tool to merge one repository into another.