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 https://github.com/sagemath/sage/wiki/NumFOCUS#project-governance



 

-- 
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/fb93df49-5fc1-45cc-be79-425a10a27650n%40googlegroups.com.


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
"Add member" button at the top right.  If you don't see this button, then
I'm correct about the required permissions

In the short term, I've added nadialafreniere to triage, and I'm happy to
add others by request from Sage developers that I recognize (feel free to
either email me at roed.m...@gmail.com or contact me on Zulip
).  In the long term, we should figure out a
better process and document it.
David

On Fri, Mar 1, 2024 at 11:53 AM 'Martin R' via sage-devel <
sage-devel@googlegroups.com> wrote:

> 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 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/635a7d01-c8fe-4619-8684-2ce6de55355cn%40googlegroups.com
> 
> .
>

-- 
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_%3DAZBzhqqT_KfzgBo0PMzktgF30MDWn0bwcHEoqpBHneg%40mail.gmail.com.


[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 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/635a7d01-c8fe-4619-8684-2ce6de55355cn%40googlegroups.com.