var mo = new Ggit.MergeOptions();
mo.set_file_favor(Ggit.MergeFileFavor.THEIRS);
var ix = this.repo.merge_trees(anc_tree, master_tree, head_tree, mo);
- ix.write();
+
+ // might be conflicts..
+ if (ix.has_conflicts()) {
+ GLib.debug("merge has conflicts");
+ return;
+ }
+ this.repo.checkout_index(ix, new Ggit.CheckoutOptions());
var treeoid = ix.write_tree();
-
var parents = new Ggit.Commit[] { master_commit };