<div dir="ltr"><div>Hope you don't mind if I add an opinion of a small/occasional</div><div>contributor to the thread.</div><div><br></div><div>Personally, I would prefer a move to GitHub. Mostly due to familiarity</div><div>and network effect (pretty much everyone is on GitHub).</div><div><br></div><div>But I would also consider a move to GitLab a big improvement over the</div><div>current Phab-based setup.  A git-based workflow would be great - I use</div><div>arc/Phab too rarely to really invest in learning them better. (I just</div><div>figured out the simplest way to use them that seems to work and I'm</div><div>sticking to it :) I haven't actually used GitLab before, but it seems</div><div>super easy to sign in using GitHub credentials and the interface seems</div><div>quite familiar.</div><div><br></div><div>One thing that was already mentioned is the ticket handling and I just</div><div>wanted to say "+1". I *really* dislike Trac - it's slow, unintuitive and</div><div>every time I use it I need to spend a couple of minutes to find the</div><div>guide to its own weird version of markdown... So a better place for</div><div>tickets that's tightly integrated with code code hosting/review tools</div><div>would be really cool! Which brings an interesting aspect of this</div><div>discussion - if I had to choose between "GitHub for code hosting/review</div><div>& Trac for tickets" vs "GitLab for everything", I'd prefer the latter.</div><div><br></div><div>- Michal</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr">On Tue, Oct 30, 2018 at 10:51 PM Boespflug, Mathieu <<a href="mailto:m@tweag.io">m@tweag.io</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Ben,<br>
<br>
On Tue, 30 Oct 2018 at 18:47, Ben Gamari <<a href="mailto:ben@well-typed.com" target="_blank">ben@well-typed.com</a>> wrote:<br>
><br>
> ...<br>
><br>
> It occurs to me that I never did sit down to write up my thoughts on<br>
> reviewable. I tried doing a few reviews with it [1] and indeed it is<br>
> quite good; in many ways it is comparable to Differential. [...]<br>
> However, it really feels like a band-aid, introducing another layer of<br>
> indirection and a distinct conversation venue all to make up for what<br>
> are plain deficiencies in GitHub's core product.<br>
<br>
Sure. That sounds fine to me though, or indeed no different than say,<br>
using GitHub XOR Gitlab for code hosting, Phabricator for review (and<br>
only for that), and Trac for tickets (not ideal but no worse than<br>
status quo). If Phabricator (the paid for hosted version) or<br>
Reviewable.io really are the superior review tools, and if as review<br>
tools they integrate seamlessy with GitHub (or Gitlab), then that's an<br>
option worth considering.<br>
<br>
The important things are: reducing the maintenance burden (by<br>
preferring hosted solutions) while still meeting developer<br>
requirements and supporting a workflow that is familiar to most.<br>
<br>
> > So keeping the review UX issues aside for a moment, are there other<br>
> > GitHub limitations that you anticipate would warrant automation bots à<br>
> > la Rust-lang?<br>
> ><br>
> Ultimately Rust's tools all exist for a reason. Bors works around<br>
> GitHub's lacking ability to merge-on-CI-pass, Highfive addresses the<br>
> lack of a flexible code owner notification system, among other things.<br>
> Both of these are features that we either have already or would like to<br>
> have.<br>
<br>
... and I assume based on your positive assessment, are both<br>
out-of-the-box features of Gitlab that meet the requirements?<br>
<br>
> On the whole, I simply see very few advantages to using GitHub over<br>
> GitLab; the latter simply seems to me to be a generally superior product.<br>
<br>
That may well be the case. The main argument for GitHub is taking<br>
advantage of its network effect. But a big part of that is not having<br>
to manage a new set of credentials elsewhere, as well as remembering<br>
different user names for the same collaborators on different<br>
platforms. You're saying I can use my GitHub credentials to<br>
authenticate on Gitlab. So in the end we possibly wouldn't be losing<br>
much of that network effect.<br>
<br>
> > I'm not too worried about the CI story. The hard part with CircleCI<br>
> > isn't CircleCI, it's getting to a green CircleCI. But once we're<br>
> > there, moving to a green OtherCI shouldn't be much work.<br>
> ><br>
> Right, and we are largely already there!<br>
<br>
That's great to hear.<br>
_______________________________________________<br>
Ghc-devops-group mailing list<br>
<a href="mailto:Ghc-devops-group@haskell.org" target="_blank">Ghc-devops-group@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devops-group" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devops-group</a><br>
</blockquote></div>