<div dir="ltr">On 14 December 2017 at 02:20, Manuel M T Chakravarty <span dir="ltr"><<a href="mailto:manuel.chakravarty@tweag.io" target="_blank">manuel.chakravarty@tweag.io</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
The hold up seems to be that Phabricator creates an overhead, which has prompted the use of the loophole (= direct push to master).<br>
<br>
How about the following solution? Everything that is directly pushed to master currently, is being pushed to GitHub and goes through a PR.<br>
<br>
After all, the main criticism of GitHub PRs seems to be about code reviews being nicer on Phabricator and we don’t want code review on the direct pushes to master anyway. So, why not use GitHub for this?<br></blockquote><div><br></div><div>Provided there's a way that we can bypass this for Phabricator and do 'arc land', then it's fine with me.  Otherwise we would have this convoluted workflow:<br></div><br><div>* arc diff</div><div>* code review + CI validation on Phabricator</div><div>* push to your github fork</div>* create a PR on GitHub<div><div>* wait for CI again</div>* press the merge button</div><div><br></div>compared with:</div><div class="gmail_quote"><br><div><div>* arc diff</div><div>* code review + CI validation on Phabricator</div></div><div>* arc land, or wait for Ben to merge<br></div><div><br></div><div>Cheers</div><div>Simon</div><div><br></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">
Cheers,<br>
Manuel<br>
<span class="gmail-im gmail-HOEnZb"><br>
>> If the outstanding issue is that you combine multiple contributions<br>
>> from contributors and manually valid them to ensure they are not just<br>
>> individually sound, but also in combination, we might want to consider<br>
>><br>
>>  <a href="https://bors.tech" rel="noreferrer" target="_blank">https://bors.tech</a> <<a href="https://bors.tech/" rel="noreferrer" target="_blank">https://bors.tech/</a>><br>
>><br>
>> which is exactly for that kind of thing (and apparently used by Rust).<br>
><br>
> Indeed, I'm familiar with bors. Unfortunately it's quite GitHub-centric,<br>
> so at for the moment it's not a viable option.<br>
><br>
> Cheers,<br>
><br>
> - Ben<br>
</span><div class="gmail-HOEnZb"><div class="gmail-h5">> ______________________________<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>
<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>