[petsc-dev] [petsc-users] IMPORTANT PETSc repository changed from Bucketbit to GitLab

[Balay, Satish]

On Thu, 5 Sep 2019, Balay, Satish via petsc-dev wrote:

> On Thu, 22 Aug 2019, Balay, Satish via petsc-users wrote:

> All,
> 
> We now have a preliminary CI in place that can process merge requests (MRs) - so please go ahead and submit them.

We have a notice on 'Data Center Outage,  starting 5PM CST on Sep 6 -to sometime Sep 9'

So PETSc CI will likely not be working during this time [as (some of) the test machines go down] i.e MRs won't get tested during this outage.

Satish