1668
1667
- Do a 'normal' merge of the old branch basis if it is relevant.
1672
1691
# here if old_tip is not None, it is the old tip of the branch before
1673
1692
# it was updated from the master branch. This should become a pending
1674
1693
# merge in the working tree to preserve the user existing work. we