Hi Brett, Yes, you do need to be part of the Triage team to add labels (this is a function of how permissions on github work). There's currently a PR on the trac-to-github repository <https://github.com/sagemath/trac-to-github/pull/187> aiming to add a bot to our github workflow in an attempt to improve the situation. If you have ideas, you're welcome to contribute to the discussion there.
I looked for the PR you're referring to in the list of Sage PRs <https://github.com/sagemath/sage/pulls> and wasn't sure what you were referring to. If you can send a link I (or someone else) can add the Needs Review tag manually (if it hasn't yet been done). David On Thu, Mar 2, 2023 at 6:23 PM brettpim <br...@math.carleton.ca> wrote: > David, > > Do we have to be a member of the triage team to add labels to a PR we > create? 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 > <https://github.com/sagemath/trac-to-github/blob/master/docs/Migration-Trac-to-Github.md> > suggest attaching labels to the PR which we cannot figure out how to do. > > regards > brett stevens > > On Wednesday, February 8, 2023 at 7:51:40 AM UTC-5 David Roe wrote: > >> Yesterday I manually added a bunch of people that I recognized to the >> sagemath organization triage team >> <https://github.com/orgs/sagemath/teams/triage> on github, which gives >> people the ability to edit labels. I don't intend to exclude any active >> Sage developers, so if you want to be able to change labels and didn't get >> added, please let me know and I'll add you! >> David >> > -- > 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/29978d83-02f0-4657-85c3-329f1b201716n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/29978d83-02f0-4657-85c3-329f1b201716n%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_m7-XPntTwuFaJ%3DQSeUuy%2BmYGt9wkQnggt9LvQJrTda0g%40mail.gmail.com.
