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.
