diff hgext/strip.py @ 20462:0031ef5df586

push: move `remoteheads` into the push object The heads of the remote repository are used to detect race when pushing changeset. We now store this information in `pushoperation` object to allow extraction of the changeset pushing part.
author Pierre-Yves David <pierre-yves.david@logilab.fr>
date Thu, 30 Jan 2014 20:34:35 -0800
parents 04eaa8eec6a0
children f6f122f4813b
line wrap: on
line diff