<div dir="auto">From an administration and uptime point of view, I'm in support of GitHub. The only place I've used Gitlab is at Red Hat and only for internal projects there. From a pragmatic standing I'm in full support of GitHub, and with an existing Gitlab instance, we're already set if something comes up in the future that forces us to reconsider.<div dir="auto"><br></div><div dir="auto">--Greg</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Mar 18, 2023, 09:57 Troy A. Griffitts <<a href="mailto:scribe@crosswire.org">scribe@crosswire.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>Guys who prefer GitLab, I am sorry. No university research project, no commercial job has ever asked me to use GitLab. They have all asked me use GitHub. From a purely popular choice and to prevent all of us from having to create yet another account (I am sure most everyone already has a GitHub account) and learn yet another tool, can't we just settle on GitHub. Would it make anyone extremely unhappy? GitLab is not my preferred choice.<br><br><div class="gmail_quote">On March 18, 2023 6:40:57 AM MST, Greg Hellings <<a href="mailto:greg.hellings@gmail.com" target="_blank" rel="noreferrer">greg.hellings@gmail.com</a>> wrote:<blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div dir="auto"><div><br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Mar 18, 2023, 06:41 Peter von Kaehne <<a href="mailto:refdoc@gmx.net" rel="noreferrer noreferrer noreferrer" target="_blank">refdoc@gmx.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">GitLab vs GitLab<div><br></div><div><div style="display:block"><div style="display:inline-block" role="link"><a style="border-radius:10px;font-family:-apple-system,Helvetica,Arial,sans-serif;display:block;width:300px;overflow:hidden;text-decoration:none" rel="nofollow noreferrer noreferrer noreferrer noreferrer" href="https://intellipaat.com/blog/gitlab-vs-github-difference/" dir="ltr" role="button" width="300" target="_blank"><table style="table-layout:fixed;border-collapse:collapse;width:300px;background-color:#e9e9eb;font-family:-apple-system,Helvetica,Arial,sans-serif" cellpadding="0" cellspacing="0" border="0" width="300"><tbody><tr><td align="center"><img style="width:300px;height:102px" width="300" height="102" alt="image3-1.png"></td></tr><tr><td><table bgcolor="#E9E9EB" cellpadding="0" cellspacing="0" width="300" style="font-family:-apple-system,Helvetica,Arial,sans-serif;table-layout:fixed;background-color:rgba(233,233,235,1)"><tbody><tr><td style="padding:8px 0px 8px 0px"><div style="max-width:100%;margin:0px 16px 0px 16px;overflow:hidden"><div style="word-wrap:break-word;font-weight:500;font-size:12px;overflow:hidden;text-overflow:ellipsis;text-align:left"><a rel="nofollow noreferrer noreferrer noreferrer noreferrer" href="https://intellipaat.com/blog/gitlab-vs-github-difference/" style="text-decoration:none" target="_blank"><font color="#000000" style="color:rgba(0,0,0,1)">GitLab vs GitHub: Top 10 Differences between GitHub and GitLab</font></a></div><div style="word-wrap:break-word;font-weight:400;font-size:11px;overflow:hidden;text-overflow:ellipsis;text-align:left"><a rel="nofollow noreferrer noreferrer noreferrer noreferrer" href="https://intellipaat.com/blog/gitlab-vs-github-difference/" style="text-decoration:none" target="_blank"><font color="#A2A2A9" style="color:rgba(60,60,67,0.6)">intellipaat.com</font></a></div></div></td></tr></tbody></table></td></tr></tbody></table></a></div></div><br>There is plenty more but this gives a decent summary. GitLab allows private repos which I think are a really useful thing. I think it should also be easier to integrate our own GitLab stuff or move it if we want to </div></div></blockquote></div></div><div dir="auto"><br></div><div dir="auto">This comparison is quite dated (for instance, GitHub definitely has CI/CD integrated nowadays, and GitLab is by no means buggy and slow), but I also would support GitLab over GitHub as our definitive location simply on the principle of it being FOSS instead of closed source hosting.</div><div dir="auto"><br></div><div dir="auto">It does have an identical Code owners feature to GitHub with the same syntax and location. I'm not sure if it's available in the self hosted/free versions or if it is one of their premium features. I'm getting conflicting information on that.</div><div dir="auto"><br></div><div dir="auto">It does support automatic mirroring, so it would be easy for us to self host the official repository but still allow automated mirrors on GitHub and the public GitLab for ease of contribution by others.</div><div dir="auto"><br></div><div dir="auto">--Greg</div><div dir="auto"><br></div><div dir="auto"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><div><br></div><div>We aren’t a democracy but as far as it goes - I welcome the move to Git so, so gladly and I vote for moving towards GitLab as there is more active development of us already</div><div><br></div><div>Peter</div><div><br></div><div><div dir="ltr">Sent from my phone. Please forgive misspellings and weird “corrections”</div><div dir="ltr"><br><blockquote type="cite">On 18 Mar 2023, at 11:20, Matěj Cepl <<a href="mailto:mcepl@cepl.eu" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">mcepl@cepl.eu</a>> wrote:<br><br></blockquote></div><blockquote type="cite"><div dir="ltr"><span>On 2023-03-18, 09:55 GMT, Fr Cyrille wrote:</span><br><blockquote type="cite"><span>I am very happy with this progress in your thinking about git. I just </span><br></blockquote><blockquote type="cite"><span>reiterate my preference for gitlab, where as Peter has already pointed </span><br></blockquote><blockquote type="cite"><span>out we now have all our modules. It would be consistent to add the sword </span><br></blockquote><blockquote type="cite"><span>sources there as well.</span><br></blockquote><blockquote type="cite"><span>@David I don't particularly use github for my personal projects which </span><br></blockquote><blockquote type="cite"><span>are all under gitlab.</span><br></blockquote><span></span><br><span>+1</span><br><span></span><br><span>Matěj</span><br><span>-- </span><br><span><a href="https://matej.ceplovi.cz/blog/" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">https://matej.ceplovi.cz/blog/</a>, @mcepl@floss.social</span><br><span>GPG Finger: 3C76 A027 CA45 AD70 98B5 BC1D 7920 5802 880B C9D8</span><br><span></span><br><span>Pain is inevitable, but misery is optional. We cannot avoid pain,</span><br><span>but we can avoid joy.</span><br><span> -- Tim Hansel</span><br><span></span><br><span></span><br><span>_______________________________________________</span><br><span>sword-devel mailing list: <a href="mailto:sword-devel@crosswire.org" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">sword-devel@crosswire.org</a></span><br><span><a href="http://crosswire.org/mailman/listinfo/sword-devel" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">http://crosswire.org/mailman/listinfo/sword-devel</a></span><br><span>Instructions to unsubscribe/change your settings at above page</span><br></div></blockquote></div></div>_______________________________________________<br>
sword-devel mailing list: <a href="mailto:sword-devel@crosswire.org" rel="noreferrer noreferrer noreferrer noreferrer" target="_blank">sword-devel@crosswire.org</a><br>
<a href="http://crosswire.org/mailman/listinfo/sword-devel" rel="noreferrer noreferrer noreferrer noreferrer noreferrer" target="_blank">http://crosswire.org/mailman/listinfo/sword-devel</a><br>
Instructions to unsubscribe/change your settings at above page<br>
</blockquote></div></div></div>
</blockquote></div><div>-- <br>Sent from my Android device with K-9 Mail. Please excuse my brevity.</div></div></blockquote></div>