[petsc-dev] moving from BitBucket to GitLab

[Zhang, Hong]

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 <petsc-dev at mcs.anl.gov<mailto:petsc-dev at mcs.anl.gov>> 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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20190616/76194595/attachment.html>