hgext/__init__.py
author Pierre-Yves David <pierre-yves.david@fb.com>
Wed, 20 Aug 2014 01:15:09 -0700
changeset 22350 6d113cc7a31a
parent 1360 7d439981bec4
child 28450 155e3308289c
permissions -rw-r--r--
push: only push obsmarkers relevant to the "pushed subset" We should only exchange obsolete markers related to the changesets that are being exchanged. For example, if `A'` is a successor of `A`, we do not want to push the marker if we are not exchanging `A'`. Otherwise `A` would disappear without a successor, leading to confusion for both users and the evolution mechanism. Therefore we now exchange only the markers relevant to the subset of nodes involved in the push (the nodes themselves may be already common but were selected by --rev (or the lack of --rev)). Note that all selected markers are still exchanged on each push. We do not have a discovery protocol for markers in core yet. Such discovery would save us the exchange of markers known on both side.

# placeholder