[petsc-dev] All petsc-dev users will need to do a reclone of petsc-dev on Tuesday or later

[Mark F. Adams]

> 
>   Richard,
> 
>     Completely understood. This is why we didn't do what Jed wanted to do which was just switch to git completely Sunday at Midnight.

Wow, Barry is the the good cop.