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 <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 <br...@math.carleton.ca> 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 >> >> <https://groups.google.com/d/msgid/sage-devel/0d44d0b2-1e30-4f9b-a4bf-80e6a775aefbn%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/64c57e5e-2a62-44f9-a91d-dff90109d8cbn%40googlegroups.com.
