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.