[petsc-dev] transition to GitHub

[Smith, Barry F.]

   Jed (and others)

      What do you recommend as the least painful way to move the PETSc repository and all its issues, etc over to GitHub?

     Thanks
        Barry


One more time of dealing with Bitbucket's cumbersome way to merge/update other users pull requests into PETSc and I think it will be time.

Probably at first it would just be the one repository and all others stay behind.