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> 21 квіт. 2019 р. о 15:04 Yurii Kolesnykov <root at yurikoles.com> написав(ла): > > 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/
I think we need some bots to help inform people and close PRs. Yurii Kolesnykov via llvm-dev <llvm-dev at lists.llvm.org> 於 2019年4月23日 週二 上午12:02 寫道：> 10 PRs on llvm/llvm-project, and 72 PRs on llvm-mirror/llvm > > > 21 квіт. 2019 р. о 15:04 Yurii Kolesnykov <root at yurikoles.com> > написав(ла): > > > > 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/ > > _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev >-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190423/ccf01a81/attachment.html>
Is there a way to configure the repo to disable the Github PRs entirely? -Chris> On Apr 21, 2019, at 5:04 AM, Yurii Kolesnykov via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > 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/ > _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
---------- Forwarded message --------- From: Xing GUO <higuoxing at gmail.com> Date: 2019年4月23日 週二 上午2:05 Subject: Re: [llvm-dev] Close PRs on GitHub repo To: Chris Lattner <clattner at nondot.org> 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 at lists.llvm.org> 於 2019年4月23日 週二 上午1:54 寫道：> Is there a way to configure the repo to disable the Github PRs entirely? > > -Chris > > > > On Apr 21, 2019, at 5:04 AM, Yurii Kolesnykov via llvm-dev < > llvm-dev at lists.llvm.org> wrote: > > > > 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/ > > _______________________________________________ > > LLVM Developers mailing list > > llvm-dev at lists.llvm.org > > https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev > > _______________________________________________ > LLVM Developers mailing list > llvm-dev at lists.llvm.org > https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev >-------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190423/9b929a7d/attachment.html>
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