[llvm-dev] Close PRs on GitHub repo

Andres Freund via llvm-dev llvm-dev at lists.llvm.org
Mon May 13 09:56:13 PDT 2019


On 2019-04-22 10:54:21 -0700, Chris Lattner via llvm-dev wrote:
> Is there a way to configure the repo to disable the Github PRs entirely?

No - but with a small bit of work you can configure github to
automatically close PRs with a nice message explaining why.  We're
discussing doing that for postgres' github mirror, and I've written up
the process at:



Andres Freund

More information about the llvm-dev mailing list