diff contrib/shrink-revlog.py @ 17043:6f89c3f0192d

fix push of moved bookmark when creating new branch heads The problem occured when pushing a changeset that at the same time creates a new named branch head and moves a bookmark. The code invoked methods that only exist on localrepo instances, so it failed for any other type of remote. The test suite only tested against local remotes.
author Sune Foldager <cryo@cyanite.org>
date Tue, 26 Jun 2012 23:05:25 +0200
parents c2d9ef43ff6c
children d6d0f1ed8ebb
line wrap: on
line diff