On Sat, Feb 25, 2023 at 9:06 PM Trevor Karn <trevor.k.k...@gmail.com> wrote:
>
> Ok so my takeaway is that for now at least we treat all PRs that are untagged 
> as needs review. Is there a way to set as a default or get a bot to 
> automatically apply just the needs review label to any new PR?

Any -  that is not marked as draft.

There should be a way via GitHub Actions - if not, it is doable by a custom bot.


>
> On Sat, Feb 25, 2023 at 2:20 PM Matthias Koeppe <matthiaskoe...@gmail.com> 
> wrote:
>>
>> Re the "needs review" tag, see earlier discussion in 
>> https://github.com/sagemath/trac-to-github/issues/8#issuecomment-1367744734
>>
>>
>> On Saturday, February 25, 2023 at 11:48:08 AM UTC-8 Vincent Delecroix wrote:
>>>
>>> I think that the needs_review positive_review tags do not fit well in
>>> the github workflow. These have been kept to mimic the trac workflow
>>> but are annoying. I support Edgar suggestion that the "needs review
>>> tag" should be replaced by "not a draft" status. Similarly, the
>>> "positive review tag" would better be replaced by something like
>>> "approved by a developer".
>>>
>>> On Sat, 25 Feb 2023 at 20:38, Edgar Costa <edgardi...@gmail.com> wrote:
>>> >
>>> > Most likely not the status quo at the moment, but if a PR is not ready to 
>>> > be reviewed should be marked as a draft, which the author can do without 
>>> > any special permissions.
>>> > Otherwise, I would assume the PR is ready to be reviewed.
>>> >
>>> > On Fri, Feb 24, 2023 at 9:43 PM Trevor Karn <trevor...@gmail.com> wrote:
>>> >>
>>> >> How do new developers tag their PR as "needs review" without having 
>>> >> triage access?
>>> >>
>>> >> On Thursday, February 23, 2023 at 1:37:07 AM UTC-6 David Roe wrote:
>>> >>>
>>> >>> As a first proposal: once you have a PR accepted then you're added to 
>>> >>> the sagemath organization. I'm not sure exactly what the cutoff should 
>>> >>> be for being added to triage (which gives the capability of changing 
>>> >>> labels, closing and assigning issues and PRs, requesting PR reviews, 
>>> >>> applying milestones and marking as duplicate. I'm fine with giving 
>>> >>> these permissions to people after their first PR is merged, but some 
>>> >>> might argue for more of a history with contributors.
>>> >>>
>>> >>> Julian and I had talked about writing a bot to handle these 
>>> >>> permissions, but haven't gotten around to it yet.
>>> >>> David
>>> >>>
>>> >>> On Thu, Feb 23, 2023 at 5:33 AM Kwankyu Lee <ekwa...@gmail.com> wrote:
>>> >>>>
>>> >>>> Hi,
>>> >>>>
>>> >>>> We are getting PRs from non-member contributors.
>>> >>>>
>>> >>>> What is the procedure or the condition to be invited for membership?
>>> >>>>
>>> >>>> --
>>> >>>> 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+...@googlegroups.com.
>>> >>>> To view this discussion on the web visit 
>>> >>>> https://groups.google.com/d/msgid/sage-devel/9eae5420-6b43-440e-b36d-d30c3b23421bn%40googlegroups.com.
>>> >>
>>> >> --
>>> >> 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+...@googlegroups.com.
>>> >> To view this discussion on the web visit 
>>> >> https://groups.google.com/d/msgid/sage-devel/1ee1ac47-44bb-4c0d-a8df-132fc4cdc86an%40googlegroups.com.
>>> >
>>> > --
>>> > 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+...@googlegroups.com.
>>> > To view this discussion on the web visit 
>>> > https://groups.google.com/d/msgid/sage-devel/CA%2BiQ7x7fGhOaaHwy3DEyfC%3DomQYV1c8JWCkanEcCRUdo7bFCHw%40mail.gmail.com.
>>
>> --
>> You received this message because you are subscribed to a topic in the 
>> Google Groups "sage-devel" group.
>> To unsubscribe from this topic, visit 
>> https://groups.google.com/d/topic/sage-devel/Zos8buxIDU4/unsubscribe.
>> To unsubscribe from this group and all its topics, 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/e6773a76-9236-45b6-97da-b15fe6af1860n%40googlegroups.com.
>
> --
> Best,
>
> Trevor
>
> --
> 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/CAJ6VCMA%3DbHame4D3hoJEB2T9fx%2BT-DvWoRqf2rD_39hvW66NRg%40mail.gmail.com.

-- 
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/CAAWYfq3RzGNROKRWKRPq%2BxFPsn%2BSwspTYqJQ6GKXcYrd5hqW_A%40mail.gmail.com.

Reply via email to