Re: [petsc-dev] watching petsc-dev in gource