diff mercurial/revset.py @ 21847:f6f122f4813b

strip: remove bookmarks after strip succeed (issue4295) In case we have revs to strip, delete the bookmark after the strip succeeds, not beforehand as we might still abort due to dirty working directory, etc.
author David Soria Parra <davidsp@fb.com>
date Tue, 08 Jul 2014 16:24:23 -0700
parents 3e53a64345c1
children dd716807fd23
line wrap: on
line diff