[petsc-dev] moving from BitBucket to GitLab

[Smith, Barry F.]

   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