[petsc-dev] moving from BitBucket to GitLab

Jed Brown jed at jedbrown.org
Sun Jun 16 11:49:49 CDT 2019

"Zhang, Hong via petsc-dev" <petsc-dev at mcs.anl.gov> writes:

> 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/

There are significant missing features for that mode of operation.


> GitHub has been the biggest social network for developers. Changing a utility is easy to me, but changing a social network isn't.

>From a previous conversation with Barry:

| Barry writes:
| >   BTW: You're going to get some abuse for advocating for GitLab and not GitHub; I don't care because I'm a contrarian but it would be good if you had a few sentences about why moving to GitLab is
| > better than GitHub (and it can't be open source philosophy arguments :-)
| The short answer is that I think the PR integration with CI/metrics is
| clearly superior to anything presently available at GitHub, GitLab can
| import all the issues/pull requests/comments, and GitLab supports math
| in comments.
| GitHub has more community visibility.  If everyone wants to move there,
| it'd be okay with me, but wouldn't completely resolve the CI situation
| and we'd lose lots of our history.  On purely technical merits outside
| of CI and import, I think GitLab is on par with GitHub.

More information about the petsc-dev mailing list