There is already 10 PRs sent to GitHub repo.
But they all are useless, in every PR people are being informed
that they should send patches to http://reviews.llvm.org/
10 PRs on llvm/llvm-project, and 72 PRs on llvm-mirror/llvm
I think we need some bots to help inform people and close PRs.
Yurii Kolesnykov via llvm-dev <llvm-dev@lists.llvm.org> 於 2019年4月23日 週二 上午12:02 寫道：
Is there a way to configure the repo to disable the Github PRs entirely?
-Chris
No, GitHub didn’t provide this option for us. However, there are some useful discussion on such topic.
[0] https://github.com/isaacs/github/issues/1191#issuecomment-375486285
[1] https://github.com/dear-github/dear-github/issues/84
Chris Lattner via llvm-dev <llvm-dev@lists.llvm.org> 於 2019年4月23日 週二 上午1:54 寫道：
Hi,
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:
Greetings,
Andres Freund