Satish Balay <balay at mcs.anl.gov> writes: > I guess you could convert all externalpackage repos to git. Where is the repository? (It hasn't made it to bitbucket:petsc/*.)