> ? BTW: to deal with that, is it possible to mark a repository so it refuses > to work with old hg installs? If so then we would just mark petsc-dev and any > issues related to using outdated hg would not be a problem.
Mercurial has this built-in and implements it with the name 'pushkey'. So, it would work out of the box.
