petsc-dev and buildsystem are not renamed old-petsc-dev and old-buildsystem
BTW: here is the list of repos we have with the 'petsc' name.. old-petsc-dev Updated 2 minutes ago petsc Updated 5 hours ago petsc4py Updated 3 days ago petsc-20 Updated 2014-07-16 petsc-hg Updated 2014-05-20 petsc-amr Updated 2013-07-02 petsc-3.3 Updated 2013-03-12 petsc-2.3.1 Updated 2012-11-18 petsc-2.3.2 Updated 2012-11-18 petsc-2.3.3 Updated 2012-11-18 petsc-3.0.0 Updated 2012-11-18 petsc-3.1 Updated 2012-11-18 petsc-3.2 Updated 2012-11-18 petsc.bitbucket.org Updated 2012-02-10 (and with buildsystem) old-buildsystem Updated 2 minutes ago buildsystem-3.3 Updated 2012-11-29 buildsystem-2.3.1 Updated 2012-11-18 buildsystem-2.3.2 Updated 2012-11-18 buildsystem-2.3.3 Updated 2012-11-18 buildsystem-3.0.0 Updated 2012-11-18 buildsystem-3.1 Updated 2012-11-18 buildsystem-3.2 Updated 2012-11-18 [and a bunch of other repos] Hopefully there is no more confusion... Satish On Thu, 4 Sep 2014, Barry Smith wrote: > > 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 > > >
