Sure, Stefano (or anyone) can fork on bitbucket, hack away, then send a pull request. We can merge locally and push to petsc-dev (which will be mirrored to bitbucket and should close the pull request).