<div dir="ltr">Hi Richard!<div><br></div><div>thanks for creating the pull request with a full proposal. You beat me to it - tried writing up much the same before stopping for dinner, essentially capturing just one of the points in Moritz's earlier (large) proposal. Moritz, I would encourage you like Richard did earlier to split the remaining points in your proposal into separate PR's too.</div><div><br></div><div>So Richard, I created a PR to your PR to add in a little bit more detail: keeping the two mirrors in sync, role of the release manager to ensure that adequate reviewers get identified so that patches don't go unnoticed by an interested party who'd specifically want to review the patch on Phabricator, etc.</div><div><br></div><div><a href="https://github.com/goldfirere/ghc-proposals/pull/1" target="_blank">https://github.com/goldfirere/<wbr>ghc-proposals/pull/1</a><br></div><div><br></div><div>I also moved one of the two choices you mention to the "alternatives" section of the document, thinking that's the pupose of the section.</div><div><br></div><div>On another note, I solicited an experience report from Gabriel Scherer earlier this week. The Ocaml community likewise pondered using GitHub back in 2014, and in fact lauched an experiment to that effect.  So I was curious to hear how it went after 2 years of data.</div><div><br></div><div>You can see the announcement here:</div><div><br></div><div><a href="http://thread.gmane.org/gmane.comp.lang.ocaml.platform/30" target="_blank">http://thread.gmane.org/gmane.<wbr>comp.lang.ocaml.platform/30</a></div><div><br></div><div>Gabriel tells me that the initial situation for Ocaml was different from that of GHC: they had no formal code review tool in use, but would swap around patches on the Mantis issue tracker. Be it as it may, it's interesting to note just how much the number of contributions to Ocaml has increased in recent years, after this experiment started:</div><div><br></div><div><a href="https://github.com/ocaml/ocaml/graphs/contributors" target="_blank">https://github.com/ocaml/ocaml<wbr>/graphs/contributors</a><br></div><div><br></div><div>This experiment is today considered a big success. A key ingredient I gather is that Gabriel volunteered to triage the GitHub PR's and play the go-between to make sure all Mantis users were aware of any proposed changes relevant to them.</div><div><div><br></div><div>The key insight I would put forth here is that how-to-accept-patches and where-to-review-them should be an agreement between the contributor and the assigned reviewer(s), in particular for trivial changes. For any given patch, provided the reviewer(s) is/are game, and provided all protential reviewers are made aware of its existence, it shouldn't matter much whether the patch came from Trac, Phabricator or GitHub.</div><div><br></div><div><div>PS: Gabriel was very kind to also point out that the LLVM community has been big users of Phabricator and pondering introducing GitHub into the mix too. The discussion there should be relevant to this thread:</div></div><div><br></div><div><a href="http://lists.llvm.org/pipermail/llvm-dev/2016-May/100310.html">http://lists.llvm.org/pipermail/llvm-dev/2016-May/100310.html</a><br></div><div><br></div><div>Best,</div><div><br></div><div>--<br>Mathieu Boespflug<br>Founder at <a href="http://tweag.io/" target="_blank">http://tweag.io</a>.</div></div></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature" data-smartmail="gmail_signature">--<br>Mathieu Boespflug<br>Founder at <a href="http://tweag.io" target="_blank">http://tweag.io</a>.</div></div>
<br><div class="gmail_quote">On 29 September 2016 at 20:55, Richard Eisenberg <span dir="ltr"><<a href="mailto:rae@cs.brynmawr.edu" target="_blank">rae@cs.brynmawr.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I have tried to gather the ideas from this thread into a formal proposal: <a href="https://github.com/ghc-proposals/ghc-proposals/pull/11" rel="noreferrer" target="_blank">https://github.com/ghc-<wbr>proposals/ghc-proposals/pull/<wbr>11</a><br>
<br>
Please feel free to make suggestions to improve this, especially if I've captured anyone's contributions incorrectly.<br>
<span class="im HOEnZb"><br>
-=-=-=-=-=-=-=-=-=-=-<br>
Richard A. Eisenberg<br>
Asst. Prof. of Computer Science<br>
Bryn Mawr College<br>
Bryn Mawr, PA, USA<br>
<a href="http://cs.brynmawr.edu/~rae" rel="noreferrer" target="_blank">cs.brynmawr.edu/~rae</a><br>
<br>
</span><div class="HOEnZb"><div class="h5">> On Sep 29, 2016, at 10:20 AM, Christopher Allen <<a href="mailto:cma@bitemyapp.com">cma@bitemyapp.com</a>> wrote:<br>
><br>
>> Instead perhaps GitHub's new review system may be the way forward for GHC. It allows you to easily use git in the way it's meant to be used.<br>
><br>
> Many problems are caused by letting your inner tinkerer/genius tailor<br>
> dictate how things should be dealt with. Better to cut the gordian<br>
> knot. I think Michael's right.<br>
><br>
> On Thu, Sep 29, 2016 at 5:05 AM, Michael Sloan <<a href="mailto:mgsloan@gmail.com">mgsloan@gmail.com</a>> wrote:<br>
>><br>
>><br>
>> On Wednesday, September 28, 2016, Eric Seidel <<a href="mailto:eric@seidel.io">eric@seidel.io</a>> wrote:<br>
>>><br>
>>> On Wed, Sep 28, 2016, at 18:37, Ben Gamari wrote:<br>
>>>> Moritz Angermann <<a href="mailto:moritz@lichtzwerge.de">moritz@lichtzwerge.de</a>> writes:<br>
>>>><br>
>>>>> All that arc essentially does is, compute the diff from an offset<br>
>>>>> (e.g. master) to the current HEAD and upload that to a new or existing<br>
>>>>> (--update) differential. It also adds some meta information about the<br>
>>>>> range, such that arc patch supposedly knows into which commit to apply<br>
>>>>> the patch to.<br>
>>>>><br>
>>>> Sure, but this leads to generally unreviewable patches IMHO. In order to<br>
>>>> stay sane I generally split up my work into a set of standalone patches<br>
>>>> with git rebase and then create a Diff of each of these commits.<br>
>>>> Phabricator supports this by having a notion of dependencies between<br>
>>>> Diffs, but arcanist has no sensible scheme for taking a branch and<br>
>>>> conveniently producing a series of Diffs.<br>
>>><br>
>>> I completely understand how this would be frustrating for core<br>
>>> contributors (more specifically for people submitting large patches),<br>
>>> but for new or casual contributors it's actually quite freeing. I don't<br>
>>> have to worry about how messy my local history gets, because arc will<br>
>>> throw it all away regardless! It absolves me of an extra responsibility,<br>
>>> and lowers the barrier to contributing.<br>
>><br>
>><br>
>> I dislike this workflow because I am already used to doing a lot of git<br>
>> rebasing / amending / auto squashing.  So using arc means taking away my<br>
>> ability to write multi commit stories of how the change was crafted. For<br>
>> large changes there are often multiple logical inter related steps.<br>
>> Squashing them into one big commit makes it much harder to review.  I can<br>
>> easily do that myself by marking everything as squash in a rebase. It feels<br>
>> like arcanist is just taking away power, not giving it (note i have not used<br>
>> it much - voice of a newbie here)<br>
>><br>
>> I am beginning to change my feelings on this, away from thinking of GitHub<br>
>> as an auxilliary source of didferentials.  Instead perhaps GitHub's new<br>
>> review system may be the way forward for GHC. It allows you to easily use<br>
>> git in the way it's meant to be used.<br>
>><br>
>> -Michael<br>
>><br>
>>><br>
>>><br>
>>> It would be nice to support both workflows though :)<br>
>>> ______________________________<wbr>_________________<br>
>>> ghc-devs mailing list<br>
>>> <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
>>> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
>><br>
>><br>
>> ______________________________<wbr>_________________<br>
>> ghc-devs mailing list<br>
>> <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
>> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
>><br>
><br>
><br>
><br>
> --<br>
> Chris Allen<br>
> Currently working on <a href="http://haskellbook.com" rel="noreferrer" target="_blank">http://haskellbook.com</a><br>
> ______________________________<wbr>_________________<br>
> ghc-devs mailing list<br>
> <a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
<br>
______________________________<wbr>_________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
</div></div></blockquote></div><br></div>