Re: [petsc-dev] how do people manage projects that require two or more PETSc branches