Re: [sage-devel] Re: Adding labels to github issues

Le dimanche 5 mars 2023 à 14:52:50 UTC+1, Dima Pasechnik a écrit : On Sun, 5 Mar 2023, 13:50 Emmanuel Charpentier, wrote: Dear David, Le mercredi 8 février 2023 à 13:51:40 UTC+1, David Roe a écrit : Yesterday I manually added a bunch of people that I recognized to the sagemath organizatio

Re: [sage-devel] Re: Adding labels to github issues

On Sun, 5 Mar 2023, 13:50 Emmanuel Charpentier, < emanuel.charpent...@gmail.com> wrote: > Dear David, > > Le mercredi 8 février 2023 à 13:51:40 UTC+1, David Roe a écrit : > > Yesterday I manually added a bunch of people that I recognized to the > sagemath organization triage team >

Re: [sage-devel] Re: Adding labels to github issues

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 aiming to add a bot to our github workflow in an attempt to i