[petsc-dev] let's see if i understand this git bit

[Victor Eijkhout]

If I've followed the instructions in

https://bitbucket.org/petsc/petsc/wiki/quick-dev-git

correctly, there should be a "feature branch" (really just some man page edits 
in one file) from me for review.

Let me know if not.

Victor.