[petsc-dev] we are doing a horrible job on keeping up with the pull requests and nightly builds.

[Barry Smith]

   Do we have to hire someone just to do this? If it keeps up it is going to 
kill PETSc.