[petsc-dev] moving from BitBucket to GitLab

[Balay, Satish]

Ideally this should work with either bitbucket or github - but thats
not working as desired.

i.e we would like to primarily test 'pull requests' [or 'merge
requests' in gitlab terminology] - and this feature does not work when
repo is hosted else-were.

Satish


On Sun, 16 Jun 2019, Zhang, Hong via petsc-dev wrote:

> If it is mainly because of CI, why don't we host petsc on GitHub and use the GitLab CI?
> https://about.gitlab.com/solutions/github/
> 
> GitHub has been the biggest social network for developers. Changing a utility is easy to me, but changing a social network isn't.
> 
> Thanks,
> Hong (Mr.)
> 
> On Jun 15, 2019, at 5:42 PM, Smith, Barry F. via petsc-dev <petsc-dev at mcs.anl.gov<mailto:petsc-dev at mcs.anl.gov>> wrote:
> 
> 
>   Given the terrible performance of BitBucket recently and the far superior ability to do flexible CI on GitLab Satish and Jed are experimenting with using GitLap CI. In a couple of week if all goes well we are likely to move everything to GitLab.
> 
>    If you have major concerns about such a move please let us know.
> 
>   Thanks
> 
>    Barry
> 
> 
>