[petsc-dev] moving from BitBucket to GitLab

[Smith, Barry F. via petsc-dev]

 
   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