<div dir="ltr">It sounds like we need to get someone from the Foundation (chandlerc@, lattner@, tanya@, someone else?) to reach out to them offline about this.<br><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Mar 20, 2019 at 11:23 AM Arthur O'Dwyer <<a href="mailto:arthur.j.odwyer@gmail.com">arthur.j.odwyer@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div dir="ltr"><div dir="ltr">On Wed, Mar 20, 2019 at 2:19 PM Tom Stellard via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a>> wrote:<br></div></div></div><div dir="ltr"><div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex">On 03/20/2019 10:41 AM, Zachary Turner wrote:<br>
> <br>
> On Tue, Mar 19, 2019 at 12:00 PM Tom Stellard via lldb-dev <<a href="mailto:lldb-dev@lists.llvm.org" target="_blank">lldb-dev@lists.llvm.org</a> <mailto:<a href="mailto:lldb-dev@lists.llvm.org" target="_blank">lldb-dev@lists.llvm.org</a>>> wrote:<br>
> <br>
>     Hi,<br>
> <br>
>     I would like to follow up on the previous thread[1], where there was a consensus<br>
>     to disallow merge commits in the llvm github repository, and start a discussion<br>
>     about how we should enforce this policy.<br>
> <br>
>     Unfortunately, GitHub does not provide a convenient way to fully enforce this policy.<br>
> <br>
>  <br>
> Why isn't this enforceable with a server-side pre-receive hook?<br>
<br>
GitHub[1] only supports pre-receive hooks in the 'Enterprise Server'<br>
plan, which is for self-hosted github instances.<br></blockquote><div><br></div></div></div></div><div dir="ltr"><div dir="ltr"><div class="gmail_quote"><div>AIUI, the GitHub team is perfectly willing to help out the LLVM project in whatever way LLVM needs, including but not limited to turning on server-side hooks for us.</div><div><a href="https://twitter.com/natfriedman/status/1086470665832607746" target="_blank">https://twitter.com/natfriedman/status/1086470665832607746</a><br></div><div><br></div><div>Server-side hooks are <b>the </b>answer to this problem. There is no problem. You just use a server-side hook.</div><div><br></div><div>(Whether or not to use GitHub PRs is an orthogonal question. You can use hooks with PRs, or hooks without PRs; PRs with hooks, or PRs without hooks.)</div></div></div></div><div dir="ltr"><div dir="ltr"><div class="gmail_quote"><div><br></div><div>–Arthur</div></div></div></div></blockquote></div></div>