<div dir="ltr"><div style="font-size:12.8px">> How do we enforce that PRs get squashed on merging? (not that we're actively using PRs (yet) but I'm curious how this works).<br></div><div><br></div><div>It's the gatekeeper (i.e. Ben) that presses the merge button. And it can be set to squash merge by default.</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 13 December 2017 at 15:36, Simon Marlow <span dir="ltr"><<a href="mailto:marlowsd@gmail.com" target="_blank">marlowsd@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><div class="h5">On 12 December 2017 at 08:12, 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:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space"><div>Hi Ben,</div><span><div><br><blockquote type="cite"><div>Am 12.12.2017 um 02:22 schrieb Ben Gamari <<a href="mailto:ben@well-typed.com" target="_blank">ben@well-typed.com</a>>:</div><br class="m_-3724869297654970225m_5787158424590649828Apple-interchange-newline"><div><div>Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>> writes:<br><br><blockquote type="cite">The problem is that many contributors, including Simon PJ, Richard, and<br>me, tend to push batches of work<br><br>I have not been following this thread (“job accounting” seemed above<br>my pay grade) but I saw this mention of my name 😊. Without having<br>read myself into the context there seem to be two issues<br><br><br> * Every commit to master should be validate-clean, and this should<br> be tested by the CI framework not by the contributor. This is<br> essential. I would be delighted if every commit I made went through<br> that gate. I’m careful, but occasionally not careful enough.<br><br> * Most – perhaps all – commits should go through a code-review<br> process. Here I freely admit that I tend to use (or abuse?) my<br> status to make most of my commits without review, except perhaps<br> informally with individuals. I’d be absolutely willing to review<br> this if (a) in fact people think that the extra step would really<br> improve quality (perhaps looking at past commits) or (b) the very<br> fact that I do so makes people feel cross.<br><br></blockquote>I personally think that we should strive for your first point (every<br>commit should be validate-clean) before attempting to tackle your<br>second. I, for one, am rather skeptical that putting all of your patches<br>through review would significantly affect quality.<br></div></div></blockquote><div><br></div></div></span>I completely agree.<div><br></div><div>So, what is preventing us from disabling direct pushes to master and requiring all contributions to go through a PR or Differential? </div></div></blockquote><div><br></div></div></div><div>Well, CI needs to be working first :)</div><div><br></div><div>Also Phabricator doesn't have the equivalent of a merge button right now, which makes the workflow a bit awkward. I'm not sure what the current state of that is - is there an extension or something we can enable to get this, Ben?<br></div><span class=""><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word;line-break:after-white-space"><div>PRs and Differentials are squashed on merging to master and the whole problem (with CircleCI building only heads of commit groups) just disappears. I believe that this is the usual approach.</div></div></blockquote><div><br></div></span><div>How do we enforce that PRs get squashed on merging? (not that we're actively using PRs (yet) but I'm curious how this works).<br></div><div> </div><div>Cheers</div><span class="HOEnZb"><font color="#888888"><div>Simon</div><div><br></div><div><br></div></font></span><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""><div style="word-wrap:break-word;line-break:after-white-space"><div>If the outstanding issue is that you combine multiple contributions from contributors and manually valid them to ensure they are not just individually sound, but also in combination, we might want to consider</div><div><br></div><div> <a href="https://bors.tech" target="_blank">https://bors.tech</a></div><div><br></div><div>which is exactly for that kind of thing (and apparently used by Rust).</div><div><br></div><div>Cheers,</div><div>Manuel</div><div><br></div></div><br></span><span class="">______________________________<wbr>_________________<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-b<wbr>in/mailman/listinfo/ghc-devops<wbr>-group</a><br>
<br></span></blockquote></div><br></div></div>
<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>
<br></blockquote></div><br></div>