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

[Balay, Satish]

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

> > 
> >     Please do not make pull requests to the Gitlab site yet; we will be manually processing the PR from the BitBucket site over the next couple of
> >     days as we implement the testing.
> > 
> >     Please be patient, this is all new to use and it may take a few days to get out all the glitches.
> 
> Just an update:
> 
> We are still in the process of setting up the CI at gitlab. So we are
> not yet ready to process PRs [or Merge Requests (MRs) in gitlab terminology]
> 
> As of now - we have the old jenkins equivalent [and a few additional]
> tests working with gitlab setup. i.e
> 
> https://gitlab.com/petsc/petsc/pipelines/77669506
> 
> But we are yet to migrate all the regular [aka next] tests to this
> infrastructure.

All,

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

Satish