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
