<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 19 October 2017 at 04:02, Manuel M T Chakravarty <span dir="ltr"><<a href="mailto:manuel.chakravarty@tweag.io" target="_blank">manuel.chakravarty@tweag.io</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">> 19.10.2017, 13:33 Ben Gamari <<a href="mailto:ben@well-typed.com">ben@well-typed.com</a>>:<br>
<span class="gmail-">> Manuel M T Chakravarty <<a href="mailto:manuel.chakravarty@tweag.io">manuel.chakravarty@tweag.io</a>> writes:<br>
>>> 19.10.2017, 12:29 schrieb Ben Gamari <<a href="mailto:ben@well-typed.com">ben@well-typed.com</a>>:<br>
</span><span class="gmail-">>>> Let's figure out how to make this happen. This week is turning out to be<br>
>>> a bit busy for me, but perhaps this weekend or next week I'll see what<br>
>>> can be done to hook up Phabricator and try to get the build automation<br>
>>> in place for i386 and CentOS. However, if you have time do feel free to<br>
>>> start plugging away at this yourself in the meantime.<br>
>><br>
>> Jonas spent some time on the macOS build on CircleCI.<br>
>><br>
>> It might be useful to make a list of all the things that need to be<br>
>> done and add it to the CI Trac page. Should we take a stab at that<br>
>> next week (when your schedule calms down a bit)?<br>
>><br>
> Let's make sure that there are no objections from the Simons (or anyone<br>
> else on the list, for that matter). If not, then sure, let's do it.<br>
<br>
</span>Yes, absolutely, let’s make it explicit. Are there any remaining objections to us going forward with the hosted option?</blockquote><div><br></div><div>Not from me, but just to point out that CircleCI has Phabricator integration (<a href="https://circleci.com/docs/1.0/phabricator/">https://circleci.com/docs/1.0/phabricator/</a>) and it looks pretty straightforward to set up.  I don't know if AppVeyor has something similar, but if it does then we can decouple the choice of CI from code-review tool, and move more slowly on the latter issue. I think that's important, because changing existing workflows will have more impact on existing developers, and we need a longer period to discuss that. Also there are a number of technical issues with adopting GitHub that haven't been discussed yet (existing commit hooks in particular).</div><div><br></div><div>Cheers</div><div>Simon</div><div><br></div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class="gmail-HOEnZb"><div class="gmail-h5">
Manuel<br>
<br>
______________________________<wbr>_________________<br>
Ghc-devops-group mailing list<br>
<a href="mailto:Ghc-devops-group@haskell.org">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-<wbr>bin/mailman/listinfo/ghc-<wbr>devops-group</a><br>
</div></div></blockquote></div><br></div></div>