[petsc-dev] getting old branch

[Balay, Satish]

All branches from bitbucket.org/petsc/petsc [now at bitbucket.org/petsc/petsc-pre-gitlab] should be available on gilab.com/petsc/petsc - [if it were not already merged to maint/master]

So its strange..

Satish

On Tue, 10 Dec 2019, Mark Adams wrote:

> Nevermind, I figure it out,
> 
> On Tue, Dec 10, 2019 at 8:19 AM Mark Adams <mfadams at lbl.gov> wrote:
> 
> > I have a branch on bitbucket but its not on gilab. How do I get it?
> > Thanks,
> > Mark
> >
>