[petsc-dev] get rid of https://bitbucket.org/petsc/petsc-dev NOW

[Barry Smith]

  PETSc developers

  Please get rid of that damn confusing repository https://bitbucket.org/petsc/petsc-dev now before someone else gets confused. And stop using the term petsc-dev to refer to any PETSc repository!  Why do we insist on making our already complicated jobs even more complicated by leaving silly things hanging around?

   Thanks