On 20 Mar 2019, at 18:23, Arthur O'Dwyer via cfe-dev <cfe-...@lists.llvm.org> wrote: > > Server-side hooks are the answer to this problem. There is no problem. You > just use a server-side hook.
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). David _______________________________________________ lldb-dev mailing list lldb-dev@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-dev
