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 <enriquear...@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+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 > <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/CAChs6_%3DHQ%3DDERJaR4SwX3wtyOJ0MYrsM-12bV9L3UfFs3%2BCB1g%40mail.gmail.com.
