integrate/base
-- the most recent commit that was cherry-picked intonext
integrate/tip
-- themain
branch commit that should be merged into thenext
branch "next" (haha)integrate/working
-- the "virtual main branch" or "working copy of next branch". This serves as the merge base forintegrate/tip
to be merged in
git checkout -b integrate/base 06d7e6bb3adcde8a1aafb6958e5eced8b62c30c4
git checkout -b integrate/tip e5182598a48df7d0f40ce79ba057af850d90022c
git checkout next
The integrate/working
branch should start at integrate/base
. Then merge next
into integrate/working
, preferring the next changes in the case of conflict.
git checkout -b integrate/working integrate/base
git merge next -s ort -Xtheirs
TODO