[llvm-dev] Close PRs on GitHub repo

[Andres Freund via llvm-dev]

Hi,

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:

https://www.postgresql.org/message-id/20190417225536.uz3mna6bfc6r7klg%40alap3.anarazel.de

Greetings,

Andres Freund