<div dir="ltr"><div>What about the wiki? Can we migrate that off Trac too?</div><div><br></div><div>We'd have to keep redirects in place on <a href="http://ghc.haskell.org">ghc.haskell.org</a> to avoid breaking links to tickets and wiki pages from elsewhere.</div><div><br></div><div>If we really can do a stacked-diff-style workflow using PRs on GitLab then that at least for me removes one of the big drawbacks of moving. But how easy will it be to enforce that workflow and will it be going against the grain on GitLab? I imagine people used to adding extra commits to a PR will tend to do that rather than amending+rebasing. I suppose we can do a squash-merge when committing to keep the history clean, but then contributors have a choice - either do GitHub-style where you add commits to a PR to update it and we squash on merge, OR Phabricator-style where you keep the same set of commits and rebase the stack to update it. If you want to do dependent commits then you have to use Phabricator style. Choices between workflows make things more complicated for contributors, and that worries me.<br></div><div><br></div><div>Does GitLab keep the history of a PR after it has been updated, like in Phabricator? So we can see what happened between versions of a PR?</div><div><br></div><div>Cheers</div><div>Simon<br></div></div><br><div class="gmail_quote"><div dir="ltr">On Tue, 30 Oct 2018 at 19:22, Ben Gamari <<a href="mailto:ben@well-typed.com">ben@well-typed.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Simon Marlow <<a href="mailto:marlowsd@gmail.com" target="_blank">marlowsd@gmail.com</a>> writes:<br>
<br>
> I'm entirely happy to move, provided (1) whatever we move to provides the<br>
> functionality we need, and (2) it's clearly what the community wants<br>
> (considering both current and future contributors). In the past when moving<br>
> to GitHub was brought up, there were a handful of core contributors who<br>
> argued strongly in favour of Phabricator, do we think that's changed? Do we<br>
> have any indication of whether the survey respondents who were<br>
> anti-Phabricator would be pro- or anti-GitLab?<br>
><br>
The comments fell into several buckets:<br>
<br>
 a. Those who spoke in favor of GitHub in particular<br>
 b. Those who spoke in favor of GitHub and GitLab<br>
 c. Those who spoke against Phabricator<br>
<br>
I seem to recall that (a) was the largest group. No one explicitly<br>
stated that they would be against GitLab, although this is not terribly<br>
surprising given we didn't ask.<br>
<br>
Frankly I doubt there would be people who would actively support GitHub<br>
but not GitLab given how similar the workflows are. However, collecting<br>
data for this hunch is one of the reasons for this thread.<br>
<br>
> Personally I'd like to optimise for more code review, because I think that<br>
> more than anything else will increase quality and community ownership of<br>
> the project. If using new tooling will make code review a more central part<br>
> of our workflow, then that would be a good thing.<br>
<br>
Agreed, currently we have too few reviewers for the volume of code we<br>
are pushing into the tree.<br>
<br>
> Right now I think we're<br>
> very Trac-centric, and the integration between Trac and Phabricator isn't<br>
> great; if we could move to a solution with tighter integration between<br>
> tickets/code-review/wiki, that would be an improvement in my view. But not<br>
> GitHub, for the reasons you gave.<br>
><br>
Yes, I agree. Currently I spend too much time keeping tickets in sync and<br>
this is almost entirely wasted time.<br>
<br>
<br>
> Would GitLab solve the CI issues? I don't think you mentioned that<br>
> explicitly.<br>
><br>
It helps, yes. As Andres pointed out, Appveyor has native support for<br>
GitLab, which we use for Windows validation. Furthermore, GitLab's<br>
native CI would allow us to test non-x86 platforms.<br>
<br>
CircleCI lacks GitLab support however I believe the integration we have<br>
already developed to support integration with Phabricator could be<br>
easily adapted for GitLab.<br>
<br>
Moreover, given that the "Add GitLab support" request is at the top of<br>
CircleCI's feature request tracker, it seems likely that there will be<br>
native support in the future.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
</blockquote></div>