[petsc-dev] moving from BitBucket to GitLab
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?
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