comparison hgext/pager.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 7d99bff0f77c
children 49f2d5644f04
comparison
equal deleted inserted replaced
20461:abd8e56a1038 20462:0031ef5df586