<div dir="ltr">I'm assuming this would be served out of an Argonne domain?<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Jun 16, 2019 at 12:49 PM Jed Brown via petsc-dev <<a href="mailto:petsc-dev@mcs.anl.gov">petsc-dev@mcs.anl.gov</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">"Zhang, Hong via petsc-dev" <<a href="mailto:petsc-dev@mcs.anl.gov" target="_blank">petsc-dev@mcs.anl.gov</a>> writes:<br>
<br>
> If it is mainly because of CI, why don't we host petsc on GitHub and use the GitLab CI?<br>
> <a href="https://about.gitlab.com/solutions/github/" rel="noreferrer" target="_blank">https://about.gitlab.com/solutions/github/</a><br>
<br>
There are significant missing features for that mode of operation.<br>
<br>
<a href="https://gitlab.com/gitlab-org/gitlab-ce/issues/60158" rel="noreferrer" target="_blank">https://gitlab.com/gitlab-org/gitlab-ce/issues/60158</a><br>
<br>
> GitHub has been the biggest social network for developers. Changing a utility is easy to me, but changing a social network isn't.<br>
<br>
>From a previous conversation with Barry:<br>
<br>
| Barry writes:<br>
| >   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<br>
| > better than GitHub (and it can't be open source philosophy arguments :-)<br>
| <br>
| The short answer is that I think the PR integration with CI/metrics is<br>
| clearly superior to anything presently available at GitHub, GitLab can<br>
| import all the issues/pull requests/comments, and GitLab supports math<br>
| in comments.<br>
| <br>
| GitHub has more community visibility.  If everyone wants to move there,<br>
| it'd be okay with me, but wouldn't completely resolve the CI situation<br>
| and we'd lose lots of our history.  On purely technical merits outside<br>
| of CI and import, I think GitLab is on par with GitHub.<br>
</blockquote></div>