Re: [sage-devel] Permissions on github

2024-03-01 Thread Matthias Koeppe
On Friday, March 1, 2024 at 9:27:30 AM UTC-8 David Roe wrote: you need some kind of admin privileges in order to add people to Triage More specifically, it is the Maintainer role that is needed for this. I have started to enumerate a number of duties that require the Maintainer role in

Re: [sage-devel] Permissions on github

2024-03-01 Thread David Roe
As far as I can tell, you need some kind of admin privileges in order to add people to Triage (which is unfortunate, since membership in this team is critical for our reviewing process). The method that I use is to go here and click on the big green

[sage-devel] Permissions on github

2024-03-01 Thread 'Martin R' via sage-devel
I couldn't find the appropriate place to ask (and I think that this should be fixed): how can I give someone the permission to modify labels, I think that's called triage team now? User name would be nadialafreniere. Thank you, Martin -- You received this message because you are subscribed