Re: [petsc-dev] integrate petsc4py tarball generation with petsc tarball generation