[petsc-dev] PETSc repositories have been moved

[Satish Balay]

What would be the git equivalent of the following?

hg clone URL petsc
rsync petsc petsc-feature
cp petsc/.hg/hgrc petsc-feature/.hg/hgrc
[primarily updates the 'default URL'

thanks,
Satish