<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Mar 21, 2019 at 1:13 PM David Chisnall via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org">cfe-dev@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">It is quite unlikely that GitHub will allow LLVM (or any other project) to run arbitrary post-receive hooks.  It is far more likely that they will give an option that disables the merge button in PRs.  It is already possible to prevent direct pushes to master by anyone, so this would be a very small change (literally disabling one button in the UI).  <br></blockquote><div>When the goal is to have a linear history that's not quite sufficient though. We do not only want to prevent someone from merging commits through the UI, but also from merging commits offline  and then pushing the merge. </div><div><br></div><div>Cheers,</div><div>Philip</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
David<br>
<br>
<br>
_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev</a><br>
</blockquote></div></div>