Re: [sage-devel] Adding labels to pull requests?

[Dima Pasechnik]

there is a PR to make this automatic:
https://github.com/sagemath/sage/pull/35172

On Wed, Mar 29, 2023 at 7:35 PM enriqu...@gmail.com
 wrote:
>
> Thank you!
>
> El miércoles, 29 de marzo de 2023 a las 19:58:08 UTC+2, David Roe escribió:
>>
>> Hi Enrique,
>> I've added you to the Triage team, so now you can manage labels.
>> David
>>
>> On Wed, Mar 29, 2023 at 1:33 PM enriqu...@gmail.com  
>> wrote:
>>>
>>> Actually I have the same problem, I cannot see how to apply labels to PR I 
>>> created. Maybe I can't. Thanks, Enrique.
>>>
>>> El jueves, 2 de marzo de 2023 a las 21:37:56 UTC+1, Dima Pasechnik escribió:

 On Thu, Mar 2, 2023 at 6:20 PM brettpim  wrote:
 >
 > Aaron Dwyer and I have just finished an initial implementation of 
 > covering arrays for sagemath and posted it as a PR ready for review. The 
 > Provisional workflow on GitHub suggest attaching labels to the PR which 
 > we cannot figure out how to do.
 >
 > We think labels would help us get the most appropriate reviewers for the 
 > PR

 you're invited to the sagemath org :-)

 Cheers
 Dima

 >
 > thanks
 > brett
 >
 > --
 > 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/64b4a44b-a957-41d9-8e09-e1a8936320adn%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/0d44d0b2-1e30-4f9b-a4bf-80e6a775aefbn%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+unsubscr...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/64c57e5e-2a62-44f9-a91d-dff90109d8cbn%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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq2SMQ-EVuGniw3QWq2MqkU7tsMeV%3Dfhv%2B-iM1no_zFNtA%40mail.gmail.com.

Re: [sage-devel] Adding labels to pull requests?

[enriqu...@gmail.com]

Thank you!

El miércoles, 29 de marzo de 2023 a las 19:58:08 UTC+2, David Roe escribió:

> Hi Enrique,
> I've added you to the Triage team, so now you can manage labels.
> David
>
> On Wed, Mar 29, 2023 at 1:33 PM enriqu...@gmail.com  
> wrote:
>
>> Actually I have the same problem, I cannot see how to apply labels to PR 
>> I created. Maybe I can't. Thanks, Enrique.
>>
>> El jueves, 2 de marzo de 2023 a las 21:37:56 UTC+1, Dima Pasechnik 
>> escribió:
>>
>>> On Thu, Mar 2, 2023 at 6:20 PM brettpim  wrote: 
>>> > 
>>> > Aaron Dwyer and I have just finished an initial implementation of 
>>> covering arrays for sagemath and posted it as a PR ready for review. The 
>>> Provisional workflow on GitHub suggest attaching labels to the PR which we 
>>> cannot figure out how to do. 
>>> > 
>>> > We think labels would help us get the most appropriate reviewers for 
>>> the PR 
>>>
>>> you're invited to the sagemath org :-) 
>>>
>>> Cheers 
>>> Dima 
>>>
>>> > 
>>> > thanks 
>>> > brett 
>>> > 
>>> > -- 
>>> > 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/64b4a44b-a957-41d9-8e09-e1a8936320adn%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/0d44d0b2-1e30-4f9b-a4bf-80e6a775aefbn%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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/64c57e5e-2a62-44f9-a91d-dff90109d8cbn%40googlegroups.com.

Re: [sage-devel] Adding labels to pull requests?

[David Roe]

Hi Enrique,
I've added you to the Triage team, so now you can manage labels.
David

On Wed, Mar 29, 2023 at 1:33 PM enriqu...@gmail.com 
wrote:

> Actually I have the same problem, I cannot see how to apply labels to PR I
> created. Maybe I can't. Thanks, Enrique.
>
> El jueves, 2 de marzo de 2023 a las 21:37:56 UTC+1, Dima Pasechnik
> escribió:
>
>> On Thu, Mar 2, 2023 at 6:20 PM brettpim  wrote:
>> >
>> > Aaron Dwyer and I have just finished an initial implementation of
>> covering arrays for sagemath and posted it as a PR ready for review. The
>> Provisional workflow on GitHub suggest attaching labels to the PR which we
>> cannot figure out how to do.
>> >
>> > We think labels would help us get the most appropriate reviewers for
>> the PR
>>
>> you're invited to the sagemath org :-)
>>
>> Cheers
>> Dima
>>
>> >
>> > thanks
>> > brett
>> >
>> > --
>> > 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/64b4a44b-a957-41d9-8e09-e1a8936320adn%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+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/0d44d0b2-1e30-4f9b-a4bf-80e6a775aefbn%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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAChs6_%3DHQ%3DDERJaR4SwX3wtyOJ0MYrsM-12bV9L3UfFs3%2BCB1g%40mail.gmail.com.

Re: [sage-devel] Adding labels to pull requests?

[enriqu...@gmail.com]

Actually I have the same problem, I cannot see how to apply labels to PR I 
created. Maybe I can't. Thanks, Enrique.

El jueves, 2 de marzo de 2023 a las 21:37:56 UTC+1, Dima Pasechnik escribió:

> On Thu, Mar 2, 2023 at 6:20 PM brettpim  wrote:
> >
> > Aaron Dwyer and I have just finished an initial implementation of 
> covering arrays for sagemath and posted it as a PR ready for review. The 
> Provisional workflow on GitHub suggest attaching labels to the PR which we 
> cannot figure out how to do.
> >
> > We think labels would help us get the most appropriate reviewers for the 
> PR
>
> you're invited to the sagemath org :-)
>
> Cheers
> Dima
>
> >
> > thanks
> > brett
> >
> > --
> > 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/64b4a44b-a957-41d9-8e09-e1a8936320adn%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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/0d44d0b2-1e30-4f9b-a4bf-80e6a775aefbn%40googlegroups.com.

Re: [sage-devel] Adding labels to pull requests?

[Dima Pasechnik]

On Thu, Mar 2, 2023 at 6:20 PM brettpim  wrote:
>
> Aaron Dwyer and I have just finished an initial implementation of covering 
> arrays for sagemath and posted it as a PR ready for review.  The Provisional 
> workflow on GitHub suggest attaching labels to the PR which we cannot figure 
> out how to do.
>
> We think labels would help us get the most appropriate reviewers for the PR

you're invited to the sagemath org :-)

Cheers
Dima

>
> thanks
> brett
>
> --
> 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/64b4a44b-a957-41d9-8e09-e1a8936320adn%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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq2gGzqnKNi%2Bw-P2aUUx8knGOxLvNmBYcefiiUAGhTedLw%40mail.gmail.com.

[sage-devel] Adding labels to pull requests?

[brettpim]

Aaron Dwyer and I have just finished an initial implementation of covering 
arrays for sagemath and posted it as a PR ready for review.  The Provisional 
workflow on GitHub 

 
suggest attaching labels to the PR which we cannot figure out how to do.

We think labels would help us get the most appropriate reviewers for the PR

thanks
brett

-- 
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/64b4a44b-a957-41d9-8e09-e1a8936320adn%40googlegroups.com.