view debian/source/format @ 2256:7ec214ea5d67

checkheahds: switch algorithm to use pushed markers instead We now checks if markers involved in the push are relevant to nodes in the branch we try to replace. The approach is simpler and more robust. A test showing the limitation of the previous approach is added.
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Fri, 31 Mar 2017 13:46:51 +0200
parents 0021301f7fde
children
line wrap: on
line source

3.0 (quilt)