[petsc-dev] needing a clone of petsc-dev

[Jed Brown]

On Thu, 20 May 2010 16:19:48 -0300, Lisandro Dalcin <dalcinl at gmail.com> wrote:
> Could any of you with admin access clone petsc-dev to petsc-dev-ts ?

Lisandro, you can make a new clone with

  hg clone . ssh://petsc//hg/petsc/temp/petsc-dev-ts

or, if your .ssh/config isn't set up, the more verbose

  hg clone . ssh://petsc@petsc.cs.iit.edu//hg/petsc/temp/petsc-dev-ts

Jed