Re: [petsc-dev] petsc-dev on bitbucket

I think separate clone for release and dev is easy for people to work with. I think separate clones for every release is clutter.

I agree and think that this would be ideal.