// let's try a merge..
var mo = new Ggit.MergeOptions();
mo.set_file_favor(Ggit.MergeFileFavor.THEIRS);
- var ix = this.repo.merge_trees(master_tree, master_tree, head_tree, mo);
+ var ix = this.repo.merge_trees(null, master_tree, head_tree, mo);
if (ix.has_conflicts()) {
GLib.debug("merge has conflicts");