$\tippy$, i.e. just after $\alg{Merge-Tip}(\p)$.
\end{basedescript}
-
-\stdsection{ WIP tip satisfaction, reachable commits }
-
-We preserve/ensure
-$$ \tippy >= \pendsof{\allreach_{\py}}{\py} $$
-($\tippy$ is computed during traversal for the patch $\p$)
-
-We ensure this property by:
- - we do not generate any commits for py other than
- during Merge-Tip
- - so at the start of Merge-Tip pendsof (O, py) = pendsof (U, py)
- - Merge-Tip itself wip wip wip
-
-