> 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.