diff contrib/perf.py @ 18073:e411fd79ca69

obsolete: refuse to push divergent changeset As other troubles `unstable` and `bumped`. Followup patches may simplify the push code with unification of "obsolescence troubles" handling.
author Pierre-Yves David <pierre-yves.david@logilab.fr>
date Sat, 10 Nov 2012 02:19:20 +0100
parents 1471f5e83686
children 486bfb200b3f
line wrap: on
line diff