"Zhang, Hong via petsc-dev" <[email protected]> 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. https://gitlab.com/gitlab-org/gitlab-ce/issues/60158 > 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.
