On Tue, 7 Feb 2023 at 16:49, David Roe <roed.m...@gmail.com> wrote: > In response to Eric's suggestion of having the whole team set as the > reviewer, my main concern is that having a diffuse responsibility will make > it more likely for tickets to slip through the cracks. If you want to > review a ticket and someone else is assigned by the bot, I think taking > over as reviewer would be totally acceptable. > > Sending notifications > <https://github.com/marketplace/actions/issue-label-notifier> to the > corresponding team when a component label is added is probably another > thing that the bot could do (probably just by adding an @team comment to > the PR). > > I think the standard in the open source world is to allow PRs from > outsiders, partly as a way to draw people in. John, what's your motivation > for restricting to only members? >
OK, forget that suggestion! > David > > On Tue, Feb 7, 2023 at 5:39 PM 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. >> >> 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/CAChs6_nX_6uvSD9zizA142znd00%3DnxY6jN4X4SvdtVaA8X%2Bvqw%40mail.gmail.com > <https://groups.google.com/d/msgid/sage-devel/CAChs6_nX_6uvSD9zizA142znd00%3DnxY6jN4X4SvdtVaA8X%2Bvqw%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/CAD0p0K6ZJ02_4C5Nc_8i8Fyy6rVKUxMQWpzz3gM7Eq%2Bk9E%2BGXQ%40mail.gmail.com.
