On Tue, 7 Feb 2023, 16:39 John Cremona, <john.crem...@gmail.com> wrote:
> Re David's #1: Could we only allow PRs to be made by members? (Or is > that against the spirit of open source?) Then, a new contributor would > first ask to become a member, and then would be able to make a PR. > on trac, everyone with a GitHub account was able to open a ticket and propose a branch. I don't see a reason to deviate from this openness. > John > > On Tue, 7 Feb 2023 at 16:29, Eric Gourgoulhon <egourgoul...@gmail.com> > wrote: > >> Thanks for your reply. >> >> Le mardi 7 février 2023 à 14:33:04 UTC+1, David Roe a écrit : >> 4. When a component tag is added to a PR (or a new PR created with a >> component set), if there is no reviewer already requested then the bot will >> request review from someone on that component team (eventually we may >> refine this process based on what lines are being modified in the PR). >> Details on how a person is chosen are still to be worked out, but we think >> it's helpful to have a single person responsible rather than a large group. >> 5. If a reviewer declines or if a review is not given within a week >> (this duration can be up for discussion), the bot will request review from >> another member of that component team. >> >> I would rather favor a mode in which the bot sends a notification to the >> whole team at each tagged PR, instead of picking members one per one, so >> that any team member that is interested by the PR, feels competent and has >> the time to do the review can do it. >> >> Eric. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sage-devel" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to sage-devel+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/3de741ca-1c8f-461c-9df8-0eaf95ca8444n%40googlegroups.com >> <https://groups.google.com/d/msgid/sage-devel/3de741ca-1c8f-461c-9df8-0eaf95ca8444n%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/CAD0p0K5%3D1qjnk%3DJM4auH6rmD9ZH1srQQMavGcMwztgMGYHSv%3DA%40mail.gmail.com > <https://groups.google.com/d/msgid/sage-devel/CAD0p0K5%3D1qjnk%3DJM4auH6rmD9ZH1srQQMavGcMwztgMGYHSv%3DA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq3Sujy6YmLpQZY57e0oG6tDrosAxeCc0K79_o994K0w%2Bw%40mail.gmail.com.
