try to merge from dov's repository, if not, ignore it.