[petsc-announce] Change from BitBucket to GitLab for PETSc repository

[Smith, Barry F.]

    PETSc users,

     We will be changing the location of the PETSc repository from BitBucket to GitLab within the next week. At the time of the switch you will not be
able to access the PETSc repository at BitBucket.

1) if you use or comment on PETSc issues or pull requests please
    a) get an account on GitLab or use the feature that allows you to log in with your GitHub id
    b) If the id is different than on BitBucket, best to use the same, please email bsmith at mcs.anl.gov with your GitLab username and the email used

2) When notified of the switch or the BitBucket access becomes unavailable you will need to update the URL origin information in your PETSc 
    repositories. You will be able to do this with, for example,

      git remote set-url origin git at gitlab.com:petsc/petsc.git   or 

      git remote set-url origin https://gitlab.com/petsc/petsc.git

do not make this change until the repository is moved and either you notice the BitBucket access no longer works for your receive an email 
confirming the change.


   The reason for switching to GitLab is that it has a better testing system than BitBucket and Gitlab. We hope that will allow us to test and manage pull requests 
more rapidly, efficiently and accurately, thus allowing us to improve and add to PETSc more quickly.

  This email will be repeated when we make the switch

   Barry