If it is mainly because of CI, why don't we host petsc on GitHub and use the GitLab CI? https://about.gitlab.com/solutions/github/
GitHub has been the biggest social network for developers. Changing a utility is easy to me, but changing a social network isn't. Thanks, Hong (Mr.) On Jun 15, 2019, at 5:42 PM, Smith, Barry F. via petsc-dev <[email protected]<mailto:[email protected]>> wrote: Given the terrible performance of BitBucket recently and the far superior ability to do flexible CI on GitLab Satish and Jed are experimenting with using GitLap CI. In a couple of week if all goes well we are likely to move everything to GitLab. If you have major concerns about such a move please let us know. Thanks Barry
