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

[Hong Zhang]

> I don't think this will be any
> more stable than everyone working in different clones for different
> projects.

More questions for new/better model:
- A clone for a project?
Then I would have multiple clones if I work on more than one projects.
Actually, I've never only worked on a single project.

- When should a private development be pushed to the stable branch?
Is it required to be examined by someone, e.g., Jed/Barry/???

Hong