Since petsc.cs is down, I don't have everyone's public SSH key. For now, if you need push access, just sign up for a free bitbucket account (can also use OpenID) and reply to this email with your bitbucket username. Barry, Matt, Jed, and Peter have write access already. Hong (hzhang), Dmitry (karpeev), and Lois (curfman) should have write access as long as the username in the parenthesis is your correct bitbucket name.

Also, BuildSystem is here:

where the same people as above have write access.

P.S. - To change your current default push url in mercurial, just edit $PETSC_DIR/.hg/hgrc

or if you uploaded your public SSH key to bitbucket already

More info here:

P.P.S - While we're at it, here is a nice shortcut in mercurial. Place this in your ~/.hgrc

[extensions]

schemes =

[schemes]

petsc = ssh://hg@bitbucket.org/petsc

You can now clone like so: `hg clone petsc://petsc-dev` or `hg clone petsc://buildsystem`