[petsc-dev] getting old branch

[Mark Adams]

I have a branch on bitbucket but its not on gilab. How do I get it?
Thanks,
Mark