Just a thought....
Maybe what we want is:
if wt.get_parent_ids()[0] != wt.branch.last_revision(): merge_inner(wt.get_parent_ids()[0] => wt.branch.last_revision()) merge_inner(ancestor(wt.branch.last_revision(), revision), revision)
« Back to merge proposal
Just a thought....
Maybe what we want is:
if wt.get_ parent_ ids()[0] != wt.branch. last_revision( ): inner(wt. get_parent_ ids()[0] => wt.branch. last_revision( )) ancestor( wt.branch. last_revision( ), revision), revision)
merge_
merge_inner(