Re: PETSc team switching from BitKeeper