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

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 on github, This currently is 404 (page not found)... which gi

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

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